* configure.ac.pamphlet: Fix thinko.

	* config/var-def.mk (SYS): Remove.
	(AX_FLAGS): Likewise.

src/interp/
	* Makefile.pamphlet (makeint.lisp): Don't print SYS, LISP, BYE.
	(DEBUGSYS): Remove.
	(all-debugsys): Likewise.
	(<<debugsys.lisp>>): Likewise.
	* debugsys.lisp.pamphlet: Remove.

9 files changed, 21 insertions, 353 deletions

diff --git a/ChangeLog b/ChangeLog
index 77b36c50..ad51424b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2007-09-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
+	* configure.ac.pamphlet: Fix thinko.
+	* config/var-def.mk (SYS): Remove.
+	(AX_FLAGS): Likewise.
+
+2007-09-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
 	* configure.ac.pamphlet (axiom_optimize_options): New substitued
 	variable. 
 	Genrate src/lisp/core.lisp at configure time.
diff --git a/config/var-def.mk b/config/var-def.mk
index ef7941ea..32e5c572 100644
--- a/config/var-def.mk
+++ b/config/var-def.mk
@@ -190,16 +190,8 @@ AXIOM = $(top_builddir)/target/$(target)
 ## Where to find OpenAxiom data bases.
 DAASE = $(axiom_src_datadir)
 
-# What platform is this build for?  The use of `export' below,
-# as much as I dislike it is OK: we now require GNU Make.
-SYS = $(target)
-export SYS
-
 TMP=$(axiom_builddir)
 
-## Variables to export to sub-processes of Make
-AX_FLAGS = SYS=$(SYS)
-
 ## Shall we build GCL?
 axiom_include_gcl = @axiom_include_gcl@
 
diff --git a/configure b/configure
index 06da3a14..2f8ce41f 100755
--- a/configure
+++ b/configure
@@ -19007,7 +19007,7 @@ echo "$as_me: error: erroneous value for --enable-checking" >&2;}
                esac
 fi
 
-if test x"axiom_enable_checking" = xyes; then
+if test x"$axiom_enable_checking" = xyes; then
    axiom_optimize_options="$axiom_optimize_options safety"
    { echo "$as_me:$LINENO: runtime checking may increase compilation time" >&5
 echo "$as_me: runtime checking may increase compilation time" >&6;}
diff --git a/configure.ac b/configure.ac
index a826268b..26e73ee6 100644
--- a/configure.ac
+++ b/configure.ac
@@ -21,7 +21,7 @@ AC_ARG_ENABLE([checking], [  --enable-checking  turn runtime checking on],
                   yes|no) axiom_enable_checking=$enableval ;;
                   *) AC_MSG_ERROR([erroneous value for --enable-checking]) ;;
                esac])
-if test x"axiom_enable_checking" = xyes; then
+if test x"$axiom_enable_checking" = xyes; then
    axiom_optimize_options="$axiom_optimize_options safety"
    AC_MSG_NOTICE([runtime checking may increase compilation time])
 fi
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index 73e82a62..e45b45ae 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -436,7 +436,7 @@ AC_ARG_ENABLE([checking], [  --enable-checking  turn runtime checking on],
                   yes|no) axiom_enable_checking=$enableval ;;
                   *) AC_MSG_ERROR([erroneous value for --enable-checking]) ;;
                esac])
-if test x"axiom_enable_checking" = xyes; then
+if test x"$axiom_enable_checking" = xyes; then
    axiom_optimize_options="$axiom_optimize_options safety"
    AC_MSG_NOTICE([runtime checking may increase compilation time])
 fi
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog
index 765d4106..1679d370 100644
--- a/src/interp/ChangeLog
+++ b/src/interp/ChangeLog
@@ -1,3 +1,11 @@
+2007-09-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* Makefile.pamphlet (makeint.lisp): Don't print SYS, LISP, BYE.
+	(DEBUGSYS): Remove.
+	(all-debugsys): Likewise.
+	(<<debugsys.lisp>>): Likewise.
+	* debugsys.lisp.pamphlet: Remove.
+
 2007-09-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* Makefile.pamphlet (OBJS): Don't include nci.
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in
index 83aed171..9a058ca4 100644
--- a/src/interp/Makefile.in
+++ b/src/interp/Makefile.in
@@ -50,8 +50,6 @@ LOADSYS= $(axiom_build_bindir)/lisp$(EXEEXT)
 SAVESYS= interpsys$(EXEEXT)
 AXIOMSYS= $(axiom_target_bindir)/AXIOMsys$(EXEEXT)
 
-DEBUGSYS=$(axiom_build_bindir)/debugsys$(EXEEXT)
-
 OBJS=	vmlisp.$(FASLEXT)	hash.$(FASLEXT)	\
 	diagnostics.$(FASLEXT)				\
 	macros.$(FASLEXT)	\
@@ -223,7 +221,7 @@ UNUSED= ${DOC}/anna.boot.dvi ${DOC}/construc.lisp.dvi \
 .SUFFIXES:
 .SUFFIXES: .boot .clisp .lisp .pamphlet
 
-.PHONY: all all-ax all-depsys all-interpsys all-axiomsys all-debugsys
+.PHONY: all all-ax all-depsys all-interpsys all-axiomsys
 
 all: all-ax
 
@@ -238,7 +236,7 @@ remove-stamp:
 	-rm -f stamp
 
 .PHONY: build-images
-build-images: remove-stamp all-interpsys all-debugsys
+build-images: remove-stamp all-interpsys
 
 all-interpsys: all-depsys 
 	$(mkinstalldirs) $(AUTO)
@@ -247,9 +245,6 @@ all-interpsys: all-depsys
 all-axiomsys: all-depsys 
 	$(MAKE) $(AXIOMSYS)
 
-all-debugsys: all-interpsys
-	$(MAKE) $(DEBUGSYS)
-
 all-depsys: $(DEPSYS)
 
 .PRECIOUS: %.boot
@@ -289,8 +284,6 @@ makeint.lisp:	${DEPSYS} ${OBJS} bookvol5.$(FASLEXT) util.$(FASLEXT) \
 	        ../algebra/warm.data
 	@ echo 5 invoking make in `pwd` with parms:
 	@rm -f makeint.lisp
-	@ echo SYS= ${SYS} 
-	@ echo LISP=${LISP} BYE=${BYE}
 	$(mkinstalldirs) $(axiom_target_datadir)/msgs
 	$(INSTALL_DATA) $(axiom_src_docdir)/msgs/s2-us.msgs \
 		 $(axiom_target_datadir)/msgs
@@ -459,11 +452,6 @@ ${AXIOMSYS}: makeint.lisp
 		$(LOADSYS) -- --make --output=$@ --main="BOOT::RESTART" \
 			--load-directory=. makeint.lisp
 	@ echo 6a ${AXIOMSYS} created
-${DEBUGSYS}: debugsys.lisp
-	@ echo 7 building debugsys
-	@ echo '(progn (gbc t) (load "debugsys.lisp") (in-package "BOOT") (spad-save "$@"))' | ${LISPSYS}
-	@ echo 8 ${DEBUGSYS} created
-
 exposed.lsp: $(axiom_src_algdir)/exposed.lsp.pamphlet
 	@ echo 615 making exposed.lsp from $(axiom_src_algdir)/exposed.lsp.pamphlet
 	$(axiom_build_document) --tangle --output=$@ $<
@@ -586,9 +574,6 @@ database.clisp: database.boot
 	@ echo 243 making $@ from $<
 	@ echo '(progn (old-boot::boot "database.boot"))' | ${DEPSYS}
 
-debugsys.lisp: $(srcdir)/debugsys.lisp.pamphlet
-	$(axiom_build_document) --tangle --output=$@ $<
-
 define.clisp: define.boot
 	@ echo 247 making $@ from $<
 	@ echo '(progn (old-boot::boot "define.boot"))' | ${DEPSYS}
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
index 5e67f5a5..4bd270f4 100644
--- a/src/interp/Makefile.pamphlet
+++ b/src/interp/Makefile.pamphlet
@@ -304,21 +304,6 @@ AXIOMSYS= $(axiom_target_bindir)/AXIOMsys$(EXEEXT)
 
 @
 
-\subsection{Debugging [[depsys]]}
-
-Occasionally we need to really get into the system internals.
-The best way to do this is to run almost all of the lisp code
-interpreted rather than compiled (note that cfuns.lisp and sockio.lisp
-still need to be loaded in compiled form as they depend on the 
-loader to link with lisp internals). This image is nothing more
-than a load of the file \File{src/interp/debugsys.lisp.pamphlet}. If
-you need to make test modifications you can add code to that
-file and it will show up here.
-<<environment>>=
-DEBUGSYS=$(axiom_build_bindir)/debugsys$(EXEEXT)
-
-@
-
 These are the files that need to be compiled (in {\bf BOOTSYS}),
 loaded into a clean lisp image ({\bf LOADSYS}) and saved as
 a runnable \Tool{OpenAxiom} interpreter ({\bf SAVESYS}) usually named
@@ -1117,8 +1102,6 @@ makeint.lisp:	${DEPSYS} ${OBJS} bookvol5.$(FASLEXT) util.$(FASLEXT) \
 	        ../algebra/warm.data
 	@ echo 5 invoking make in `pwd` with parms:
 	@rm -f makeint.lisp
-	@ echo SYS= ${SYS} 
-	@ echo LISP=${LISP} BYE=${BYE}
 	$(mkinstalldirs) $(axiom_target_datadir)/msgs
 	$(INSTALL_DATA) $(axiom_src_docdir)/msgs/s2-us.msgs \
 		 $(axiom_target_datadir)/msgs
@@ -1168,19 +1151,6 @@ ${AXIOMSYS}: makeint.lisp
 	@ echo 6a ${AXIOMSYS} created
 @
 
-\section{Building debugsys}
-
-Note that we assume you've already built interpsys so all of the
-files are known to exist and be up to date. We don't list any of
-the preconditions here. 
-<<debugsys>>=
-${DEBUGSYS}: debugsys.lisp
-	@ echo 7 building debugsys
-	@ echo '(progn (gbc t) (load "debugsys.lisp") (in-package "BOOT") (spad-save "$@"))' | ${LISPSYS}
-	@ echo 8 ${DEBUGSYS} created
-
-@
-
 \section{The Interpreter files}
 
 \subsection{DVI files from pmaphlet files}
@@ -1190,25 +1160,6 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
 	$(INSTALL_DATA) $< $@
 @
 
-\subsection{debugsys.lisp \cite{14}}
-
-The {\bf debugsys.lisp} file is used to create a {\bf debugsys} runnable image.
-This image contains almost all of the lisp code that make up the axiom
-interpreter in lisp form. It is useful for deep system debugging but
-otherwise worthless. This file is certain to drift over time as changes
-are made elsewhere to add or remove files. It is assumed that you know
-what you are doing if you change this file or use debugsys.
-
-This file is basically the same as the one created during the build of
-interpsys. See the echo lines in the {\bf SAVESYS} block above. These
-are echoed into a temporary file which gets loaded into the lisp image.
-We simply captured that temporary file, replaced the .o files with .lisp
-files (or .lsp or .clisp) and saved it here.
-<<debugsys.lisp>>=
-debugsys.lisp: $(srcdir)/debugsys.lisp.pamphlet
-	$(axiom_build_document) --tangle --output=$@ $<
-@
-
 \subsection{fortcall.boot \cite{16}}
 
 <<fortcall.clisp>>=
@@ -2026,7 +1977,7 @@ subdir = src/interp/
 .SUFFIXES:
 .SUFFIXES: .boot .clisp .lisp .pamphlet
 
-.PHONY: all all-ax all-depsys all-interpsys all-axiomsys all-debugsys
+.PHONY: all all-ax all-depsys all-interpsys all-axiomsys
 
 all: all-ax
 
@@ -2041,7 +1992,7 @@ remove-stamp:
 	-rm -f stamp
 
 .PHONY: build-images
-build-images: remove-stamp all-interpsys all-debugsys
+build-images: remove-stamp all-interpsys
 
 all-interpsys: all-depsys 
 	$(mkinstalldirs) $(AUTO)
@@ -2050,9 +2001,6 @@ all-interpsys: all-depsys
 all-axiomsys: all-depsys 
 	$(MAKE) $(AXIOMSYS)
 
-all-debugsys: all-interpsys
-	$(MAKE) $(DEBUGSYS)
-
 all-depsys: $(DEPSYS)
 
 <<extract source codes>>
@@ -2068,7 +2016,6 @@ distclean-local: clean-local
 <<savesys>>
 <<depsys>>
 <<axiomsys>>
-<<debugsys>>
 <<databases>>
 
 ## Copy FASLs that are autoloaded to the autoload directory.
@@ -2124,8 +2071,6 @@ $(AUTO)/%.$(FASLEXT): %.$(FASLEXT)
 
 <<database.clisp>>
 
-<<debugsys.lisp>>
-
 <<define.clisp>>
 
 <<format.clisp>>
diff --git a/src/interp/debugsys.lisp.pamphlet b/src/interp/debugsys.lisp.pamphlet
deleted file mode 100644
index 5a97e4c0..00000000
--- a/src/interp/debugsys.lisp.pamphlet
+++ /dev/null
@@ -1,268 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp debugsys.lisp}
-\author{Timothy Daly}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{An explanation}
-
-This file is basically the same as the one created during the build of
-interpsys. See the echo lines in the {\bf SAVESYS} block in the
-Makefile.pamphlet file. These are echoed into a temporary file which
-gets loaded into the lisp image to create interpsys.  We simply
-captured that temporary file, replaced the .o files with .lisp files
-(or .lsp or .clisp) and saved it here.
-
-This is a file that can be loaded into a raw lisp image to create a
-running interpreter. Note that almost all of the files are loaded as
-lisp code. cfuns and sockio are exceptions because they depend on the
-loader to link to externs in the lisp image which cannot be done in
-interpreted code. 
-
-We assume that debugsys is being built after interpsys has been built
-as the only use for a debugsys image is to debug a deep system
-problem in interpsys. Thus we can assume that all of these files
-exist. Note that these files are {\bf hard coded} to assume they
-live under {\bf /home/axiomgnu/new}. You need to do a global
-search and replace if you don't place them there. We should write
-lisp code to grab the {\bf AXIOM} shell variable but since (a)
-there is hardly any reason to use this level of debugging and (b)
-if you're screwing around here you've got much harder problems
-to solve so this is not an issue.
-
-For debugging purposes you can add anything to this file
-and it will show up in the debugsys image. 
-
-Note that the nag files have been removed as there is a bug
-in the handling of their autoload code.
-\section{Non-portable code}
-\subsection{GCL only code}
-\subsubsection{use-fast-links}
-The use-fast-links function is a speed optimization on function
-calls. It basically assumes that the call has been properly
-constructed so the compiler can skip argument checks. 
-<<use-fast-links>>=
-#+:gcl (si::use-fast-links nil)
-@ 
-\section{The debugsys.lisp code}
-<<*>>=
-<<use-fast-links>>
-(unless (system:getenv "AXIOM") 
- (format t "The AXIOM shell variable must be set~%")
- (format t "The likely value is axiom/mnt/linux~%"))
-(unless (system:getenv "SYS")   
- (format t "The SYS shell variable must be set~%") 
- (format t "The likely value is linux~%"))
-(unless (system:getenv "DAASE")
- (format t "The DAASE shell variable must be set~%")
- (format t "The likely value is axiom/mnt/linux~%"))
-(trace load)
-#+:GCL
-(defun thepath (file) 
-  (concatenate 'string (system:getenv "AXIOM") "/../.." file))
-(load "sys-pkg.lisp")
-(load "nocompil.lisp")
-(load "bookvol5.lisp")
-(load "util.lisp")
-(in-package "BOOT")
-(setq *sys* (system:getenv "SYS"))
-#+:GCL
-(defun thesymb (file) (intern
-  (concatenate 'string (system:getenv "AXIOM") "/../.." file)))
-(progn (setq timestamp (user::thepath "/src/timestamp")) (yearweek))
-@
-The [[*build-version*]] variable is only introduced into the system
-from the Makefile. Since this isn't going thru the Makefile when
-loaded by hand we need to establish a value.
-<<*>>=
-(setq *build-version* "debug")
-(build-interpsys 
- (append 
-   (list 
-      "vmlisp.lisp"
-      "hash.lisp"
-      "bootfuns.lisp"
-      "macros.lisp"
-      "unlisp.lisp"
-      "setq.lisp"
-      "astr.clisp"
-      "bits.lisp"
-      "alql.clisp"
-      (thesymb "/int/interp/buildom.clisp")
-      (thesymb "/int/interp/cattable.clisp")
-      "cformat.clisp"
-      (thesymb (concatenate 'string "/obj/" *sys* "/interp/cfuns.o"))
-      (thesymb "/int/interp/clam.clisp")
-      (thesymb "/int/interp/clammed.clisp")
-      "comp.lisp"
-      (thesymb "/int/interp/compat.clisp")
-      (thesymb "/int/interp/compress.clisp")
-      "cparse.clisp"
-      "cstream.clisp"
-      (thesymb "/int/interp/database.clisp")
-      "debug.lisp"
-      "dq.clisp"
-      "fname.lisp"
-      (thesymb "/int/interp/format.clisp")
-      (thesymb "/int/interp/g-boot.clisp")
-      (thesymb "/int/interp/g-cndata.clisp")
-      (thesymb "/int/interp/g-error.clisp")
-      (thesymb "/int/interp/g-opt.clisp")
-      (thesymb "/int/interp/g-timer.clisp")
-      (thesymb "/int/interp/g-util.clisp")
-      "ggreater.lisp"
-      (thesymb "/int/interp/hypertex.clisp")
-      (thesymb "/int/interp/i-analy.clisp")
-      (thesymb "/int/interp/i-code.clisp")
-      (thesymb "/int/interp/i-coerce.clisp")
-      (thesymb "/int/interp/i-coerfn.clisp")
-      (thesymb "/int/interp/i-eval.clisp")
-      (thesymb "/int/interp/i-funsel.clisp")
-      (thesymb "/int/interp/i-intern.clisp")
-      (thesymb "/int/interp/i-map.clisp")
-      (thesymb "/int/interp/i-output.clisp")
-      (thesymb "/int/interp/i-resolv.clisp")
-      (thesymb "/int/interp/i-spec1.clisp")
-      (thesymb "/int/interp/i-spec2.clisp")
-      (thesymb "/int/interp/i-syscmd.clisp")
-      (thesymb "/int/interp/i-toplev.clisp")
-      (thesymb "/int/interp/i-util.clisp")
-      "incl.clisp"
-      "int-top.clisp"
-      "intfile.clisp"
-      (thesymb "/int/interp/lisplib.clisp")
-      "macex.clisp"
-      (thesymb "/int/interp/match.clisp")
-      "monitor.lisp"
-      "msg.clisp"
-      (thesymb "/int/interp/msgdb.clisp")
-      "nci.lisp"
-      "newaux.lisp"
-      (thesymb "/int/interp/newfort.clisp")
-      "nlib.lisp"
-      (thesymb "/int/interp/nrunfast.clisp")
-      (thesymb "/int/interp/nrungo.clisp")
-      (thesymb "/int/interp/nrunopt.clisp")
-      (thesymb "/int/interp/nruntime.clisp")
-      "osyscmd.clisp"
-      "packtran.clisp"
-      (thesymb "/int/interp/pathname.clisp")
-      "pf2sex.clisp"
-      "pile.clisp"
-      "posit.clisp"
-      "property.lisp"
-      "ptrees.clisp"
-      "ptrop.clisp"
-      (thesymb "/int/interp/record.clisp")
-      (thesymb "/int/interp/rulesets.clisp")
-      "scan.clisp"
-      "serror.clisp"
-      (thesymb "/int/interp/server.clisp")
-      (thesymb "/int/interp/setvars.clisp")
-      "sfsfun-l.lisp"
-      "sfsfun.clisp"
-      (thesymb "/int/interp/simpbool.clisp")
-      (thesymb "/int/interp/slam.clisp")
-      (thesymb (concatenate 'string "/obj/" *sys* "/interp/sockio.o"))
-      "spad.lisp"
-      "spaderror.lisp"
-      (thesymb "/int/interp/template.clisp")
-      (thesymb "/int/interp/termrw.clisp")
-      (thesymb "/int/interp/trace.clisp")
-      "union.lisp"
-      "daase.lisp"
-      (thesymb "/int/interp/fortcall.clisp"))
-  (list
-    (thesymb "/int/interp/hashcode.clisp")
-    (thesymb "/int/interp/as.clisp")
-    "foam_l.lisp"
-    "axext_l.lisp")
-  (list
-    "varini.clisp"
-    "parini.clisp"
-    (thesymb "/int/interp/setvart.clisp")
-    "intint.lisp"
-    (thesymb "/int/interp/xrun.clisp")
-    (thesymb "/int/interp/interop.clisp")
-    "patches.lisp"))
-  (list
-    "bootlex.lisp"
-    "def.lisp"
-    "fnewmeta.lisp"
-    "metalex.lisp"
-    "metameta.lisp"
-    "parsing.lisp"
-    "parse.clisp"
-    "postpar.clisp"
-    "postprop.lisp"
-    "preparse.lisp")
-  (list
-    (thesymb "/int/interp/apply.clisp")
-    (thesymb "/int/interp/c-doc.clisp")
-    (thesymb "/int/interp/c-util.clisp")
-    (thesymb "/int/interp/profile.clisp")
-    (thesymb "/int/interp/category.clisp")
-    (thesymb "/int/interp/compiler.clisp")
-    (thesymb "/int/interp/define.clisp")
-    (thesymb "/int/interp/functor.clisp")
-    (thesymb "/int/interp/info.clisp")
-    (thesymb "/int/interp/iterator.clisp")
-    (thesymb "/int/interp/modemap.clisp")
-    (thesymb "/int/interp/nruncomp.clisp")
-    (thesymb "/int/interp/package.clisp")
-    (thesymb "/int/interp/htcheck.clisp")
-    (thesymb "/int/interp/xruncomp.clisp"))
-  (list
-    (thesymb "/int/interp/bc-matrix.clisp")
-    (thesymb "/int/interp/bc-misc.clisp")
-    (thesymb "/int/interp/bc-solve.clisp")
-    (thesymb "/int/interp/bc-util.clisp")
-    (thesymb "/int/interp/ht-util.clisp")
-    (thesymb "/int/interp/htsetvar.clisp")
-    (thesymb "/int/interp/ht-root.clisp")
-    (thesymb "/int/interp/br-con.clisp")
-    (thesymb "/int/interp/br-data.clisp")
-    "showimp.clisp"
-    (thesymb "/int/interp/br-op1.clisp")
-    (thesymb "/int/interp/br-op2.clisp")
-    (thesymb "/int/interp/br-search.clisp")
-    (thesymb "/int/interp/br-util.clisp")
-    (thesymb "/int/interp/topics.clisp")
-    (thesymb "/int/interp/br-prof.clisp")
-    (thesymb "/int/interp/br-saturn.clisp"))
-  (list
-    (thesymb "/int/interp/wi1.clisp")
-    (thesymb "/int/interp/wi2.clisp")
-    (thesymb "/int/interp/pspad1.clisp")
-    (thesymb "/int/interp/pspad2.clisp")
-    (thesymb "/int/interp/mark.clisp")
-    "nspadaux.lisp"
-    "def.lisp")
-  (quote 
-   ())
-  (list 
-   (thesymb "/int/interp/ax.clisp"))
-  (system:getenv "AXIOM"))
-(in-package "SCRATCHPAD-COMPILER")
-(boot::set-restart-hook)
-(in-package "BOOT")
-(load (user::thepath "/int/algebra/warm.data"))
-(|clearClams|)
-(load "obey.lisp")
-;(si::multiply-bignum-stack 10)
-(si::gbc-time 0)
-(setq si::*system-directory* 
-  (user::thepath (concatenate 'string "/mnt/" *sys* "/bin/")))
-(gbc t)
-
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}