diff --git a/changelog b/changelog
index 2a03627..6dba97d 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090828 tpd src/axiom-website/patches.html 20090828.05.tpd.patch
+20090828 tpd src/interp/Makefile remove all .dvi usage
 20090828 tpd src/axiom-website/patches.html 20090828.04.tpd.patch
 20090828 tpd src/interp/Makefile move sfsfun.boot to sfsfun.lisp
 20090828 tpd src/interp/sfsfun.lisp added, rewritten from sfsfun.boot
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index e367381..5e57f9e 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1936,5 +1936,7 @@ htcheck.lisp rewrite from boot to lisp<br/>
 compiler.lisp rewrite from boot to lisp<br/>
 <a href="patches/20090828.04.tpd.patch">20090828.04.tpd.patch</a>
 sfsfun.lisp rewrite from boot to lisp<br/>
+<a href="patches/20090828.05.tpd.patch">20090828.05.tpd.patch</a>
+src/interp/Makefile remove all .dvi usage<br/>
  </body>
 </html>
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
index ce7e6bc..c17e40f 100644
--- a/src/interp/Makefile.pamphlet
+++ b/src/interp/Makefile.pamphlet
@@ -832,17 +832,6 @@ ${MID}/cfuns.lisp: ${IN}/cfuns.lisp.pamphlet
 	   ${TANGLE} ${IN}/cfuns.lisp.pamphlet >cfuns.lisp )
 
 @
-<<cfuns.lisp.dvi (DOC from IN)>>=
-${DOC}/cfuns.lisp.dvi: ${IN}/cfuns.lisp.pamphlet 
-	@echo 26 making ${DOC}/cfuns.lisp.dvi from ${IN}/cfuns.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/cfuns.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} cfuns.lisp ; \
-	rm -f ${DOC}/cfuns.lisp.pamphlet ; \
-	rm -f ${DOC}/cfuns.lisp.tex ; \
-	rm -f ${DOC}/cfuns.lisp )
-
-@
 
 \subsection{construc.lisp \cite{12}}
 <<construc.o (OUT from MID)>>=
@@ -860,18 +849,6 @@ ${MID}/construc.lisp: ${IN}/construc.lisp.pamphlet
 	   ${TANGLE} ${IN}/construc.lisp.pamphlet >construc.lisp )
 
 @
-<<construc.lisp.dvi (DOC from IN)>>=
-${DOC}/construc.lisp.dvi: ${IN}/construc.lisp.pamphlet 
-	@echo 32 making ${DOC}/construc.lisp.dvi \
-                 from ${IN}/construc.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/construc.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} construc.lisp ; \
-	rm -f ${DOC}/construc.lisp.pamphlet ; \
-	rm -f ${DOC}/construc.lisp.tex ; \
-	rm -f ${DOC}/construc.lisp )
-
-@
 
 \subsection{daase.lisp \cite{13}}
 <<daase.o (OUT from MID)>>=
@@ -895,17 +872,6 @@ ${MID}/daase.lisp: ${IN}/daase.lisp.pamphlet
 	   ${TANGLE} ${IN}/daase.lisp.pamphlet >daase.lisp )
 
 @
-<<daase.lisp.dvi (DOC from IN)>>=
-${DOC}/daase.lisp.dvi: ${IN}/daase.lisp.pamphlet 
-	@echo 35 making ${DOC}/daase.lisp.dvi from ${IN}/daase.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/daase.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} daase.lisp ; \
-	rm -f ${DOC}/daase.lisp.pamphlet ; \
-	rm -f ${DOC}/daase.lisp.tex ; \
-	rm -f ${DOC}/daase.lisp )
-
-@
 
 \subsection{debugsys.lisp \cite{14}}
 The {\bf debugsys.lisp} file is used to create a {\bf debugsys} runnable image.
@@ -927,18 +893,6 @@ ${MID}/debugsys.lisp: ${IN}/debugsys.lisp.pamphlet
 	   ${TANGLE} ${IN}/debugsys.lisp.pamphlet >debugsys.lisp )
 
 @
-<<debugsys.lisp.dvi (DOC from IN)>>=
-${DOC}/debugsys.lisp.dvi: ${IN}/debugsys.lisp.pamphlet 
-	@echo 40 making ${DOC}/debugsys.lisp.dvi from \
-           ${IN}/debugsys.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/debugsys.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} debugsys.lisp ; \
-	rm -f ${DOC}/debugsys.lisp.pamphlet ; \
-	rm -f ${DOC}/debugsys.lisp.tex ; \
-	rm -f ${DOC}/debugsys.lisp )
-
-@
 
 \subsection{fname.lisp \cite{17}}
 <<fname.o (OUT from MID)>>=
@@ -962,17 +916,6 @@ ${MID}/fname.lisp: ${IN}/fname.lisp.pamphlet
 	   ${TANGLE} ${IN}/fname.lisp.pamphlet >fname.lisp )
 
 @
-<<fname.lisp.dvi (DOC from IN)>>=
-${DOC}/fname.lisp.dvi: ${IN}/fname.lisp.pamphlet 
-	@echo 48 making ${DOC}/fname.lisp.dvi from ${IN}/fname.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/fname.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} fname.lisp ; \
-	rm -f ${DOC}/fname.lisp.pamphlet ; \
-	rm -f ${DOC}/fname.lisp.tex ; \
-	rm -f ${DOC}/fname.lisp )
-
-@
 
 \subsection{fnewmeta.lisp \cite{18}}
 <<fnewmeta.o (AUTO from OUT)>>=
@@ -1011,18 +954,6 @@ ${MID}/fnewmeta.lisp: ${IN}/fnewmeta.lisp.pamphlet
 	  ${TANGLE} ${IN}/fnewmeta.lisp.pamphlet >fnewmeta.lisp )
 	  
 @
-<<fnewmeta.lisp.dvi (DOC from IN)>>=
-${DOC}/fnewmeta.lisp.dvi: ${IN}/fnewmeta.lisp.pamphlet 
-	@echo 53 making ${DOC}/fnewmeta.lisp.dvi \
-                 from ${IN}/fnewmeta.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/fnewmeta.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} fnewmeta.lisp ; \
-	rm -f ${DOC}/fnewmeta.lisp.pamphlet ; \
-	rm -f ${DOC}/fnewmeta.lisp.tex ; \
-	rm -f ${DOC}/fnewmeta.lisp )
-
-@
 
 \subsection{fortcall.lisp}
 <<fortcall.o (OUT from MID)>>=
@@ -1093,18 +1024,6 @@ ${MID}/monitor.lisp: ${IN}/monitor.lisp.pamphlet
 	   ${TANGLE} ${IN}/monitor.lisp.pamphlet >monitor.lisp )
 
 @
-<<monitor.lisp.dvi (DOC from IN)>>=
-${DOC}/monitor.lisp.dvi: ${IN}/monitor.lisp.pamphlet 
-	@echo 78  making ${DOC}/monitor.lisp.dvi \
-                  from ${IN}/monitor.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/monitor.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} monitor.lisp ; \
-	rm -f ${DOC}/monitor.lisp.pamphlet ; \
-	rm -f ${DOC}/monitor.lisp.tex ; \
-	rm -f ${DOC}/monitor.lisp )
-
-@
 
 \subsection{newaux.lisp \cite{25}}
 <<newaux.o (OUT from MID)>>=
@@ -1134,17 +1053,6 @@ ${MID}/newaux.lisp: ${IN}/newaux.lisp.pamphlet
 	   ${TANGLE} ${IN}/newaux.lisp.pamphlet >newaux.lisp )
 
 @
-<<newaux.lisp.dvi (DOC from IN)>>=
-${DOC}/newaux.lisp.dvi: ${IN}/newaux.lisp.pamphlet 
-	@echo 82  making ${DOC}/newaux.lisp.dvi from ${IN}/newaux.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/newaux.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} newaux.lisp ; \
-	rm -f ${DOC}/newaux.lisp.pamphlet ; \
-	rm -f ${DOC}/newaux.lisp.tex ; \
-	rm -f ${DOC}/newaux.lisp )
-
-@
 
 \subsection{nocompil.lisp \cite{27}}
 <<nocompil.lisp (OUT from MID)>>=
@@ -1160,18 +1068,6 @@ ${MID}/nocompil.lisp: ${IN}/nocompil.lisp.pamphlet
 	${TANGLE} ${IN}/nocompil.lisp.pamphlet >nocompil.lisp )
 
 @
-<<nocompil.lisp.dvi (DOC from IN)>>=
-${DOC}/nocompil.lisp.dvi: ${IN}/nocompil.lisp.pamphlet 
-	@echo 88 making ${DOC}/nocompil.lisp.dvi \
-                 from ${IN}/nocompil.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nocompil.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nocompil.lisp ; \
-	rm -f ${DOC}/nocompil.lisp.pamphlet ; \
-	rm -f ${DOC}/nocompil.lisp.tex ; \
-	rm -f ${DOC}/nocompil.lisp )
-
-@
 
 \subsection{nspadaux.lisp \cite{28}}
 <<nspadaux.o (AUTO from OUT)>>=
@@ -1207,18 +1103,6 @@ ${MID}/nspadaux.lisp: ${IN}/nspadaux.lisp.pamphlet
 	  ${TANGLE} ${IN}/nspadaux.lisp.pamphlet >nspadaux.lisp )
 	  
 @
-<<nspadaux.lisp.dvi (DOC from IN)>>=
-${DOC}/nspadaux.lisp.dvi: ${IN}/nspadaux.lisp.pamphlet 
-	@echo 93 making ${DOC}/nspadaux.lisp.dvi \
-                 from ${IN}/nspadaux.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nspadaux.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nspadaux.lisp ; \
-	rm -f ${DOC}/nspadaux.lisp.pamphlet ; \
-	rm -f ${DOC}/nspadaux.lisp.tex ; \
-	rm -f ${DOC}/nspadaux.lisp )
-
-@
 
 \subsection{parsing.lisp \cite{29}}
 <<parsing.o (AUTO from OUT)>>=
@@ -1254,18 +1138,6 @@ ${MID}/parsing.lisp: ${IN}/parsing.lisp.pamphlet
 	  ${TANGLE} ${IN}/parsing.lisp.pamphlet >parsing.lisp )
 	  
 @
-<<parsing.lisp.dvi (DOC from IN)>>=
-${DOC}/parsing.lisp.dvi: ${IN}/parsing.lisp.pamphlet 
-	@echo 98 making ${DOC}/parsing.lisp.dvi \
-                 from ${IN}/parsing.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/parsing.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} parsing.lisp ; \
-	rm -f ${DOC}/parsing.lisp.pamphlet ; \
-	rm -f ${DOC}/parsing.lisp.tex ; \
-	rm -f ${DOC}/parsing.lisp )
-
-@
 
 \subsection{patches.lisp \cite{5}}
 <<patches.o (OUT from MID)>>=
@@ -1289,18 +1161,6 @@ ${MID}/patches.lisp: ${IN}/patches.lisp.pamphlet
 	   ${TANGLE} ${IN}/patches.lisp.pamphlet >patches.lisp )
 
 @
-<<patches.lisp.dvi (DOC from IN)>>=
-${DOC}/patches.lisp.dvi: ${IN}/patches.lisp.pamphlet 
-	@echo 101 making ${DOC}/patches.lisp.dvi \
-                  from ${IN}/patches.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/patches.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} patches.lisp ; \
-	rm -f ${DOC}/patches.lisp.pamphlet ; \
-	rm -f ${DOC}/patches.lisp.tex ; \
-	rm -f ${DOC}/patches.lisp )
-
-@
 
 \subsection{postprop.lisp \cite{30}}
 <<postprop.lisp (AUTO from OUT)>>=
@@ -1347,17 +1207,6 @@ ${MID}/sockio.lisp: ${IN}/sockio.lisp.pamphlet
 	   ${TANGLE} ${IN}/sockio.lisp.pamphlet >sockio.lisp )
 
 @
-<<sockio.lisp.dvi (DOC from IN)>>=
-${DOC}/sockio.lisp.dvi: ${IN}/sockio.lisp.pamphlet 
-	@echo 119 making ${DOC}/sockio.lisp.dvi from ${IN}/sockio.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/sockio.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} sockio.lisp ; \
-	rm -f ${DOC}/sockio.lisp.pamphlet ; \
-	rm -f ${DOC}/sockio.lisp.tex ; \
-	rm -f ${DOC}/sockio.lisp )
-
-@
 
 \subsection{sys-pkg.lisp \cite{36}}
 <<sys-pkg.lisp (OUT from MID)>>=
@@ -1373,18 +1222,6 @@ ${MID}/sys-pkg.lisp: ${IN}/sys-pkg.lisp.pamphlet
 	${TANGLE} ${IN}/sys-pkg.lisp.pamphlet >sys-pkg.lisp )
 
 @
-<<sys-pkg.lisp.dvi (DOC from IN)>>=
-${DOC}/sys-pkg.lisp.dvi: ${IN}/sys-pkg.lisp.pamphlet 
-	@echo 128 making ${DOC}/sys-pkg.lisp.dvi \
-                  from ${IN}/sys-pkg.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/sys-pkg.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} sys-pkg.lisp ; \
-	rm -f ${DOC}/sys-pkg.lisp.pamphlet ; \
-	rm -f ${DOC}/sys-pkg.lisp.tex ; \
-	rm -f ${DOC}/sys-pkg.lisp )
-
-@
 
 \subsection{util.lisp \cite{38}}
 <<util.o (OUT from MID)>>=
@@ -1414,17 +1251,6 @@ ${MID}/util.lisp: ${IN}/util.lisp.pamphlet
 	   ${TANGLE} ${IN}/util.lisp.pamphlet >util.lisp )
 
 @
-<<util.lisp.dvi (DOC from IN)>>=
-${DOC}/util.lisp.dvi: ${IN}/util.lisp.pamphlet 
-	@echo 135 making ${DOC}/util.lisp.dvi from ${IN}/util.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/util.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} util.lisp ; \
-	rm -f ${DOC}/util.lisp.pamphlet ; \
-	rm -f ${DOC}/util.lisp.tex ; \
-	rm -f ${DOC}/util.lisp )
-
-@
 
 \subsection{vmlisp.lisp \cite{39}}
 <<vmlisp.o (OUT from MID)>>=
@@ -1448,17 +1274,6 @@ ${MID}/vmlisp.lisp: ${IN}/vmlisp.lisp.pamphlet
 	   ${TANGLE} ${IN}/vmlisp.lisp.pamphlet >vmlisp.lisp )
 
 @
-<<vmlisp.lisp.dvi (DOC from IN)>>=
-${DOC}/vmlisp.lisp.dvi: ${IN}/vmlisp.lisp.pamphlet 
-	@echo 138 making ${DOC}/vmlisp.lisp.dvi from ${IN}/vmlisp.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/vmlisp.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} vmlisp.lisp ; \
-	rm -f ${DOC}/vmlisp.lisp.pamphlet ; \
-	rm -f ${DOC}/vmlisp.lisp.tex ; \
-	rm -f ${DOC}/vmlisp.lisp )
-
-@
 
 \subsection{alql.lisp}
 <<alql.o (OUT from MID)>>=
@@ -1574,18 +1389,6 @@ ${MID}/nag-c02.clisp: ${IN}/nag-c02.boot.pamphlet
 	  rm nag-c02.boot )
 
 @
-<<nag-c02.boot.dvi (DOC from IN)>>=
-${DOC}/nag-c02.boot.dvi: ${IN}/nag-c02.boot.pamphlet 
-	@echo 153 making ${DOC}/nag-c02.boot.dvi \
-                  from ${IN}/nag-c02.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-c02.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-c02.boot ; \
-	rm -f ${DOC}/nag-c02.boot.pamphlet ; \
-	rm -f ${DOC}/nag-c02.boot.tex ; \
-	rm -f ${DOC}/nag-c02.boot )
-
-@
 
 \subsection{nag-c05.boot \cite{44}}
 <<nag-c05.o (AUTO from OUT)>>=
@@ -1624,18 +1427,6 @@ ${MID}/nag-c05.clisp: ${IN}/nag-c05.boot.pamphlet
 	  rm nag-c05.boot )
 
 @
-<<nag-c05.boot.dvi (DOC from IN)>>=
-${DOC}/nag-c05.boot.dvi: ${IN}/nag-c05.boot.pamphlet 
-	@echo 157 making ${DOC}/nag-c05.boot.dvi \
-                  from ${IN}/nag-c05.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-c05.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-c05.boot ; \
-	rm -f ${DOC}/nag-c05.boot.pamphlet ; \
-	rm -f ${DOC}/nag-c05.boot.tex ; \
-	rm -f ${DOC}/nag-c05.boot )
-
-@
 
 \subsection{nag-c06.boot \cite{45}}
 <<nag-c06.o (AUTO from OUT)>>=
@@ -1674,18 +1465,6 @@ ${MID}/nag-c06.clisp: ${IN}/nag-c06.boot.pamphlet
 	  rm nag-c06.boot )
 
 @
-<<nag-c06.boot.dvi (DOC from IN)>>=
-${DOC}/nag-c06.boot.dvi: ${IN}/nag-c06.boot.pamphlet 
-	@echo 161 making ${DOC}/nag-c06.boot.dvi \
-                  from ${IN}/nag-c06.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-c06.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-c06.boot ; \
-	rm -f ${DOC}/nag-c06.boot.pamphlet ; \
-	rm -f ${DOC}/nag-c06.boot.tex ; \
-	rm -f ${DOC}/nag-c06.boot )
-
-@
 
 \subsection{nag-d01.boot \cite{46}}
 <<nag-d01.o (AUTO from OUT)>>=
@@ -1724,18 +1503,6 @@ ${MID}/nag-d01.clisp: ${IN}/nag-d01.boot.pamphlet
 	  rm nag-d01.boot )
 
 @
-<<nag-d01.boot.dvi (DOC from IN)>>=
-${DOC}/nag-d01.boot.dvi: ${IN}/nag-d01.boot.pamphlet 
-	@echo 165 making ${DOC}/nag-d01.boot.dvi \
-                  from ${IN}/nag-d01.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-d01.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-d01.boot ; \
-	rm -f ${DOC}/nag-d01.boot.pamphlet ; \
-	rm -f ${DOC}/nag-d01.boot.tex ; \
-	rm -f ${DOC}/nag-d01.boot )
-
-@
 
 \subsection{nag-d02.boot \cite{47}}
 <<nag-d02.o (AUTO from OUT)>>=
@@ -1774,18 +1541,6 @@ ${MID}/nag-d02.clisp: ${IN}/nag-d02.boot.pamphlet
 	  rm nag-d02.boot )
 
 @
-<<nag-d02.boot.dvi (DOC from IN)>>=
-${DOC}/nag-d02.boot.dvi: ${IN}/nag-d02.boot.pamphlet 
-	@echo 169 making ${DOC}/nag-d02.boot.dvi \
-                  from ${IN}/nag-d02.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-d02.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-d02.boot ; \
-	rm -f ${DOC}/nag-d02.boot.pamphlet ; \
-	rm -f ${DOC}/nag-d02.boot.tex ; \
-	rm -f ${DOC}/nag-d02.boot )
-
-@
 
 \subsection{nag-d03.boot \cite{48}}
 <<nag-d03.o (AUTO from OUT)>>=
@@ -1824,18 +1579,6 @@ ${MID}/nag-d03.clisp: ${IN}/nag-d03.boot.pamphlet
 	  rm nag-d03.boot )
 
 @
-<<nag-d03.boot.dvi (DOC from IN)>>=
-${DOC}/nag-d03.boot.dvi: ${IN}/nag-d03.boot.pamphlet 
-	@echo 173 making ${DOC}/nag-d03.boot.dvi \
-                  from ${IN}/nag-d03.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-d03.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-d03.boot ; \
-	rm -f ${DOC}/nag-d03.boot.pamphlet ; \
-	rm -f ${DOC}/nag-d03.boot.tex ; \
-	rm -f ${DOC}/nag-d03.boot )
-
-@
 
 \subsection{nag-e01.boot \cite{49}}
 <<nag-e01.o (AUTO from OUT)>>=
@@ -1874,18 +1617,6 @@ ${MID}/nag-e01.clisp: ${IN}/nag-e01.boot.pamphlet
 	  rm nag-e01.boot )
 
 @
-<<nag-e01.boot.dvi (DOC from IN)>>=
-${DOC}/nag-e01.boot.dvi: ${IN}/nag-e01.boot.pamphlet 
-	@echo 177 making ${DOC}/nag-e01.boot.dvi \
-                  from ${IN}/nag-e01.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-e01.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-e01.boot ; \
-	rm -f ${DOC}/nag-e01.boot.pamphlet ; \
-	rm -f ${DOC}/nag-e01.boot.tex ; \
-	rm -f ${DOC}/nag-e01.boot )
-
-@
 
 \subsection{nag-e02.boot \cite{51}}
 <<nag-e02.o (AUTO from OUT)>>=
@@ -1924,18 +1655,6 @@ ${MID}/nag-e02.clisp: ${IN}/nag-e02.boot.pamphlet
 	  rm nag-e02.boot )
 
 @
-<<nag-e02.boot.dvi (DOC from IN)>>=
-${DOC}/nag-e02.boot.dvi: ${IN}/nag-e02.boot.pamphlet 
-	@echo 185 making ${DOC}/nag-e02.boot.dvi \
-                  from ${IN}/nag-e02.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-e02.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-e02.boot ; \
-	rm -f ${DOC}/nag-e02.boot.pamphlet ; \
-	rm -f ${DOC}/nag-e02.boot.tex ; \
-	rm -f ${DOC}/nag-e02.boot )
-
-@
 
 \subsection{nag-e04.boot \cite{52}}
 <<nag-e04.o (AUTO from OUT)>>=
@@ -1974,18 +1693,6 @@ ${MID}/nag-e04.clisp: ${IN}/nag-e04.boot.pamphlet
 	  rm nag-e04.boot )
 
 @
-<<nag-e04.boot.dvi (DOC from IN)>>=
-${DOC}/nag-e04.boot.dvi: ${IN}/nag-e04.boot.pamphlet 
-	@echo 189 making ${DOC}/nag-e04.boot.dvi \
-                  from ${IN}/nag-e04.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-e04.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-e04.boot ; \
-	rm -f ${DOC}/nag-e04.boot.pamphlet ; \
-	rm -f ${DOC}/nag-e04.boot.tex ; \
-	rm -f ${DOC}/nag-e04.boot )
-
-@
 
 \subsection{nag-f01.boot \cite{53}}
 <<nag-f01.o (AUTO from OUT)>>=
@@ -2024,18 +1731,6 @@ ${MID}/nag-f01.clisp: ${IN}/nag-f01.boot.pamphlet
 	  rm nag-f01.boot )
 
 @
-<<nag-f01.boot.dvi (DOC from IN)>>=
-${DOC}/nag-f01.boot.dvi: ${IN}/nag-f01.boot.pamphlet 
-	@echo 193 making ${DOC}/nag-f01.boot.dvi \
-                  from ${IN}/nag-f01.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-f01.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-f01.boot ; \
-	rm -f ${DOC}/nag-f01.boot.pamphlet ; \
-	rm -f ${DOC}/nag-f01.boot.tex ; \
-	rm -f ${DOC}/nag-f01.boot )
-
-@
 
 \subsection{nag-f02.boot \cite{54}}
 <<nag-f02.o (AUTO from OUT)>>=
@@ -2074,18 +1769,6 @@ ${MID}/nag-f02.clisp: ${IN}/nag-f02.boot.pamphlet
 	  rm nag-f02.boot )
 
 @
-<<nag-f02.boot.dvi (DOC from IN)>>=
-${DOC}/nag-f02.boot.dvi: ${IN}/nag-f02.boot.pamphlet 
-	@echo 197 making ${DOC}/nag-f02.boot.dvi \
-                  from ${IN}/nag-f02.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-f02.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-f02.boot ; \
-	rm -f ${DOC}/nag-f02.boot.pamphlet ; \
-	rm -f ${DOC}/nag-f02.boot.tex ; \
-	rm -f ${DOC}/nag-f02.boot )
-
-@
 
 \subsection{nag-f04.boot \cite{55}}
 <<nag-f04.o (AUTO from OUT)>>=
@@ -2124,18 +1807,6 @@ ${MID}/nag-f04.clisp: ${IN}/nag-f04.boot.pamphlet
 	  rm nag-f04.boot )
 
 @
-<<nag-f04.boot.dvi (DOC from IN)>>=
-${DOC}/nag-f04.boot.dvi: ${IN}/nag-f04.boot.pamphlet 
-	@echo 201 making ${DOC}/nag-f04.boot.dvi \
-                  from ${IN}/nag-f04.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-f04.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-f04.boot ; \
-	rm -f ${DOC}/nag-f04.boot.pamphlet ; \
-	rm -f ${DOC}/nag-f04.boot.tex ; \
-	rm -f ${DOC}/nag-f04.boot )
-
-@
 
 \subsection{nag-f07.boot \cite{56}}
 <<nag-f07.o (AUTO from OUT)>>=
@@ -2174,18 +1845,6 @@ ${MID}/nag-f07.clisp: ${IN}/nag-f07.boot.pamphlet
 	  rm nag-f07.boot )
 
 @
-<<nag-f07.boot.dvi (DOC from IN)>>=
-${DOC}/nag-f07.boot.dvi: ${IN}/nag-f07.boot.pamphlet 
-	@echo 205 making ${DOC}/nag-f07.boot.dvi \
-                  from ${IN}/nag-f07.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-f07.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-f07.boot ; \
-	rm -f ${DOC}/nag-f07.boot.pamphlet ; \
-	rm -f ${DOC}/nag-f07.boot.tex ; \
-	rm -f ${DOC}/nag-f07.boot )
-
-@
 
 \subsection{nag-s.boot \cite{57}}
 <<nag-s.o (AUTO from OUT)>>=
@@ -2224,17 +1883,6 @@ ${MID}/nag-s.clisp: ${IN}/nag-s.boot.pamphlet
 	  rm nag-s.boot )
 
 @
-<<nag-s.boot.dvi (DOC from IN)>>=
-${DOC}/nag-s.boot.dvi: ${IN}/nag-s.boot.pamphlet 
-	@echo 209 making ${DOC}/nag-s.boot.dvi from ${IN}/nag-s.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nag-s.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nag-s.boot ; \
-	rm -f ${DOC}/nag-s.boot.pamphlet ; \
-	rm -f ${DOC}/nag-s.boot.tex ; \
-	rm -f ${DOC}/nag-s.boot )
-
-@
 
 \subsection{category.lisp}
 <<category.o (OUT from MID)>>=
@@ -3338,18 +2986,6 @@ ${MID}/nruncomp.clisp: ${IN}/nruncomp.boot.pamphlet
 	  rm nruncomp.boot )
 
 @
-<<nruncomp.boot.dvi (DOC from IN)>>=
-${DOC}/nruncomp.boot.dvi: ${IN}/nruncomp.boot.pamphlet 
-	@echo 354 making ${DOC}/nruncomp.boot.dvi \
-                  from ${IN}/nruncomp.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nruncomp.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nruncomp.boot ; \
-	rm -f ${DOC}/nruncomp.boot.pamphlet ; \
-	rm -f ${DOC}/nruncomp.boot.tex ; \
-	rm -f ${DOC}/nruncomp.boot )
-
-@
 
 \subsection{nrunfast.lisp}
 <<nrunfast.o (OUT from MID)>>=
@@ -3467,17 +3103,6 @@ ${MID}/obey.${LISP}: ${IN}/obey.lisp.pamphlet
 	${TANGLE} ${IN}/obey.lisp.pamphlet >obey.${LISP} )
 
 @
-<<obey.lisp.dvi (DOC from IN)>>=
-${DOC}/obey.lisp.dvi: ${IN}/obey.lisp.pamphlet 
-	@echo 369 making ${DOC}/obey.lisp.dvi from ${IN}/obey.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/obey.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} obey.lisp ; \
-	rm -f ${DOC}/obey.lisp.pamphlet ; \
-	rm -f ${DOC}/obey.lisp.tex ; \
-	rm -f ${DOC}/obey.lisp )
-
-@
 
 \subsection{package.lisp}
 <<package.o (OUT from MID)>>=
@@ -3549,18 +3174,6 @@ ${MID}/regress.${LISP}: ${IN}/regress.lisp.pamphlet
 	${TANGLE} ${IN}/regress.lisp.pamphlet >regress.${LISP} )
 
 @
-<<regress.lisp.dvi (DOC from IN)>>=
-${DOC}/regress.lisp.dvi: ${IN}/regress.lisp.pamphlet 
-	@echo 369 making ${DOC}/regress.lisp.dvi from \
-                         ${IN}/regress.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/regress.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} regress.lisp ; \
-	rm -f ${DOC}/regress.lisp.pamphlet ; \
-	rm -f ${DOC}/regress.lisp.tex ; \
-	rm -f ${DOC}/regress.lisp )
-
-@
 
 \subsection{rulesets.lisp}
 <<rulesets.o (OUT from MID)>>=
@@ -3655,18 +3268,6 @@ ${MID}/slam.lisp: ${IN}/slam.lisp.pamphlet
 	${TANGLE} ${IN}/slam.lisp.pamphlet >slam.lisp )
 
 @
-<<postprop.lisp.dvi (DOC from IN)>>=
-${DOC}/postprop.lisp.dvi: ${IN}/postprop.lisp.pamphlet 
-	@echo 105 making ${DOC}/postprop.lisp.dvi \
-                  from ${IN}/postprop.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/postprop.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} postprop.lisp ; \
-	rm -f ${DOC}/postprop.lisp.pamphlet ; \
-	rm -f ${DOC}/postprop.lisp.tex ; \
-	rm -f ${DOC}/postprop.lisp )
-
-@
 
 \subsection{template.lisp}
 <<template.o (OUT from MID)>>=
@@ -3745,17 +3346,6 @@ ${MID}/as.clisp: ${IN}/as.boot.pamphlet
 	  rm as.boot )
 
 @
-<<as.boot.dvi (DOC from IN)>>=
-${DOC}/as.boot.dvi: ${IN}/as.boot.pamphlet 
-	@echo 418 making ${DOC}/as.boot.dvi from ${IN}/as.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/as.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} as.boot ; \
-	rm -f ${DOC}/as.boot.pamphlet ; \
-	rm -f ${DOC}/as.boot.tex ; \
-	rm -f ${DOC}/as.boot )
-
-@
 
 \subsection{bc-matrix.boot}
 <<bc-matrix.o (AUTO from OUT)>>=
@@ -3794,18 +3384,6 @@ ${MID}/bc-matrix.clisp: ${IN}/bc-matrix.boot.pamphlet
 	  rm bc-matrix.boot )
 
 @
-<<bc-matrix.boot.dvi (DOC from IN)>>=
-${DOC}/bc-matrix.boot.dvi: ${IN}/bc-matrix.boot.pamphlet 
-	@echo 425 making ${DOC}/bc-matrix.boot.dvi \
-                  from ${IN}/bc-matrix.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/bc-matrix.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} bc-matrix.boot ; \
-	rm -f ${DOC}/bc-matrix.boot.pamphlet ; \
-	rm -f ${DOC}/bc-matrix.boot.tex ; \
-	rm -f ${DOC}/bc-matrix.boot )
-
-@
 
 \subsection{ht-util.boot}
 <<ht-util.o (AUTO from OUT)>>=
@@ -3843,18 +3421,6 @@ ${MID}/ht-util.clisp: ${IN}/ht-util.boot.pamphlet
 	  rm ht-util.boot )
 
 @
-<<ht-util.boot.dvi (DOC from IN)>>=
-${DOC}/ht-util.boot.dvi: ${IN}/ht-util.boot.pamphlet 
-	@echo 441 making ${DOC}/ht-util.boot.dvi \
-                  from ${IN}/ht-util.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/ht-util.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} ht-util.boot ; \
-	rm -f ${DOC}/ht-util.boot.pamphlet ; \
-	rm -f ${DOC}/ht-util.boot.tex ; \
-	rm -f ${DOC}/ht-util.boot )
-
-@
 
 \subsection{record.lisp}
 <<record.o (OUT from MID)>>=
@@ -3938,17 +3504,6 @@ ${MID}/ax.clisp: ${IN}/ax.boot.pamphlet
 	  rm ax.boot )
 
 @
-<<ax.boot.dvi (DOC from IN)>>=
-${DOC}/ax.boot.dvi: ${IN}/ax.boot.pamphlet 
-	@echo 464 making ${DOC}/ax.boot.dvi from ${IN}/ax.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/ax.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} ax.boot ; \
-	rm -f ${DOC}/ax.boot.pamphlet ; \
-	rm -f ${DOC}/ax.boot.tex ; \
-	rm -f ${DOC}/ax.boot )
-
-@
 
 \subsection{br-con.boot}
 <<br-con.o (AUTO from OUT)>>=
@@ -3986,18 +3541,6 @@ ${MID}/br-con.clisp: ${IN}/br-con.boot.pamphlet
 	  rm br-con.boot )
 
 @
-<<br-con.boot.dvi (DOC from IN)>>=
-${DOC}/br-con.boot.dvi: ${IN}/br-con.boot.pamphlet 
-	@echo 468  making ${DOC}/br-con.boot.dvi \
-                   from ${IN}/br-con.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/br-con.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} br-con.boot ; \
-	rm -f ${DOC}/br-con.boot.pamphlet ; \
-	rm -f ${DOC}/br-con.boot.tex ; \
-	rm -f ${DOC}/br-con.boot )
-
-@
 
 \subsection{topics.boot}
 <<topics.o (AUTO from OUT)>>=
@@ -4035,17 +3578,6 @@ ${MID}/topics.clisp: ${IN}/topics.boot.pamphlet
 	  rm topics.boot )
 
 @
-<<topics.boot.dvi (DOC from IN)>>=
-${DOC}/topics.boot.dvi: ${IN}/topics.boot.pamphlet 
-	@echo 496 making ${DOC}/topics.boot.dvi from ${IN}/topics.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/topics.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} topics.boot ; \
-	rm -f ${DOC}/topics.boot.pamphlet ; \
-	rm -f ${DOC}/topics.boot.tex ; \
-	rm -f ${DOC}/topics.boot )
-
-@
 
 \subsection{incl.lisp}
 <<incl.o (OUT from MID)>>=
@@ -4398,17 +3930,6 @@ ${MID}/varini.clisp: ${IN}/varini.boot.pamphlet
 	  rm varini.boot )
 
 @
-<<varini.boot.dvi (DOC from IN)>>=
-${DOC}/varini.boot.dvi: ${IN}/varini.boot.pamphlet 
-	@echo 548 making ${DOC}/varini.boot.dvi from ${IN}/varini.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/varini.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} varini.boot ; \
-	rm -f ${DOC}/varini.boot.pamphlet ; \
-	rm -f ${DOC}/varini.boot.tex ; \
-	rm -f ${DOC}/varini.boot )
-
-@
 
 \subsection{parini.boot}
 <<parini.o (OUT from MID)>>=
@@ -4439,17 +3960,6 @@ ${MID}/parini.clisp: ${IN}/parini.boot.pamphlet
 	  rm parini.boot )
 
 @
-<<parini.boot.dvi (DOC from IN)>>=
-${DOC}/parini.boot.dvi: ${IN}/parini.boot.pamphlet 
-	@echo 551 making ${DOC}/parini.boot.dvi from ${IN}/parini.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/parini.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} parini.boot ; \
-	rm -f ${DOC}/parini.boot.pamphlet ; \
-	rm -f ${DOC}/parini.boot.tex ; \
-	rm -f ${DOC}/parini.boot )
-
-@
 
 \subsection{intfile.lisp}
 <<intfile.o (OUT from MID)>>=
@@ -4496,17 +4006,6 @@ ${MID}/intint.lisp: ${IN}/intint.lisp.pamphlet
 	${TANGLE} ${IN}/intint.lisp.pamphlet >intint.lisp )
 
 @
-<<intint.lisp.dvi (DOC from IN)>>=
-${DOC}/intint.lisp.dvi: ${IN}/intint.lisp.pamphlet 
-	@echo 557 making ${DOC}/intint.lisp.dvi from ${IN}/intint.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/intint.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} intint.lisp ; \
-	rm -f ${DOC}/intint.lisp.pamphlet ; \
-	rm -f ${DOC}/intint.lisp.tex ; \
-	rm -f ${DOC}/intint.lisp )
-
-@
 
 \subsection{nci.lisp}
 <<nci.o (OUT from MID)>>=
@@ -4529,17 +4028,6 @@ ${MID}/nci.lisp: ${IN}/nci.lisp.pamphlet
 	${TANGLE} ${IN}/nci.lisp.pamphlet >nci.lisp )
 
 @
-<<nci.lisp.dvi (DOC from IN)>>=
-${DOC}/nci.lisp.dvi: ${IN}/nci.lisp.pamphlet 
-	@echo 560 making ${DOC}/nci.lisp.dvi from ${IN}/nci.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/nci.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} nci.lisp ; \
-	rm -f ${DOC}/nci.lisp.pamphlet ; \
-	rm -f ${DOC}/nci.lisp.tex ; \
-	rm -f ${DOC}/nci.lisp )
-
-@
 
 \subsection{sfsfun-l.lisp}
 <<sfsfun-l.o (OUT from MID)>>=
@@ -4563,18 +4051,6 @@ ${MID}/sfsfun-l.lisp: ${IN}/sfsfun-l.lisp.pamphlet
 	${TANGLE} ${IN}/sfsfun-l.lisp.pamphlet >sfsfun-l.lisp )
 
 @
-<<sfsfun-l.lisp.dvi (DOC from IN)>>=
-${DOC}/sfsfun-l.lisp.dvi: ${IN}/sfsfun-l.lisp.pamphlet 
-	@echo 563 making ${DOC}/sfsfun-l.lisp.dvi \
-                  from ${IN}/sfsfun-l.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/sfsfun-l.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} sfsfun-l.lisp ; \
-	rm -f ${DOC}/sfsfun-l.lisp.pamphlet ; \
-	rm -f ${DOC}/sfsfun-l.lisp.tex ; \
-	rm -f ${DOC}/sfsfun-l.lisp )
-
-@
 
 \subsection{int-top.lisp}
 <<int-top.o (OUT from MID)>>=
@@ -4725,18 +4201,6 @@ ${MID}/hashcode.clisp: ${IN}/hashcode.boot.pamphlet
 	  rm hashcode.boot )
 
 @
-<<hashcode.boot.dvi (DOC from IN)>>=
-${DOC}/hashcode.boot.dvi: ${IN}/hashcode.boot.pamphlet 
-	@echo 585 making ${DOC}/hashcode.boot.dvi \
-                  from ${IN}/hashcode.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/hashcode.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} hashcode.boot ; \
-	rm -f ${DOC}/hashcode.boot.pamphlet ; \
-	rm -f ${DOC}/hashcode.boot.tex ; \
-	rm -f ${DOC}/hashcode.boot )
-
-@
 
 \subsection{interop.boot}
 <<interop.o (OUT from MID)>>=
@@ -4768,18 +4232,6 @@ ${MID}/interop.clisp: ${IN}/interop.boot.pamphlet
 	  rm interop.boot )
 
 @
-<<interop.boot.dvi (DOC from IN)>>=
-${DOC}/interop.boot.dvi: ${IN}/interop.boot.pamphlet 
-	@echo 588 making ${DOC}/interop.boot.dvi \
-                  from ${IN}/interop.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/interop.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} interop.boot ; \
-	rm -f ${DOC}/interop.boot.pamphlet ; \
-	rm -f ${DOC}/interop.boot.tex ; \
-	rm -f ${DOC}/interop.boot )
-
-@
 
 \subsection{wi1.boot}
 translate files
@@ -4812,17 +4264,6 @@ ${MID}/wi1.clisp: ${IN}/wi1.boot.pamphlet
 	  rm wi1.boot )
 
 @
-<<wi1.boot.dvi (DOC from IN)>>=
-${DOC}/wi1.boot.dvi: ${IN}/wi1.boot.pamphlet 
-	@echo 594 making ${DOC}/wi1.boot.dvi from ${IN}/wi1.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/wi1.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} wi1.boot ; \
-	rm -f ${DOC}/wi1.boot.pamphlet ; \
-	rm -f ${DOC}/wi1.boot.tex ; \
-	rm -f ${DOC}/wi1.boot )
-
-@
 
 \subsection{wi2.boot}
 <<wi2.o (AUTO from MID)>>=
@@ -4854,17 +4295,6 @@ ${MID}/wi2.clisp: ${IN}/wi2.boot.pamphlet
 	  rm wi2.boot )
 
 @
-<<wi2.boot.dvi (DOC from IN)>>=
-${DOC}/wi2.boot.dvi: ${IN}/wi2.boot.pamphlet 
-	@echo 597 making ${DOC}/wi2.boot.dvi from ${IN}/wi2.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/wi2.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} wi2.boot ; \
-	rm -f ${DOC}/wi2.boot.pamphlet ; \
-	rm -f ${DOC}/wi2.boot.tex ; \
-	rm -f ${DOC}/wi2.boot )
-
-@
 
 \subsection{pspad1.boot}
 <<pspad1.o (AUTO from MID)>>=
@@ -4896,17 +4326,6 @@ ${MID}/pspad1.clisp: ${IN}/pspad1.boot.pamphlet
 	  rm pspad1.boot )
 
 @
-<<pspad1.boot.dvi (DOC from IN)>>=
-${DOC}/pspad1.boot.dvi: ${IN}/pspad1.boot.pamphlet 
-	@echo 600 making ${DOC}/pspad1.boot.dvi from ${IN}/pspad1.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/pspad1.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} pspad1.boot ; \
-	rm -f ${DOC}/pspad1.boot.pamphlet ; \
-	rm -f ${DOC}/pspad1.boot.tex ; \
-	rm -f ${DOC}/pspad1.boot )
-
-@
 
 \subsection{pspad2.boot}
 <<pspad2.o (AUTO from MID)>>=
@@ -4938,17 +4357,6 @@ ${MID}/pspad2.clisp: ${IN}/pspad2.boot.pamphlet
 	  rm pspad2.boot )
 
 @
-<<pspad2.boot.dvi (DOC from IN)>>=
-${DOC}/pspad2.boot.dvi: ${IN}/pspad2.boot.pamphlet 
-	@echo 603 making ${DOC}/pspad2.boot.dvi from ${IN}/pspad2.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/pspad2.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} pspad2.boot ; \
-	rm -f ${DOC}/pspad2.boot.pamphlet ; \
-	rm -f ${DOC}/pspad2.boot.tex ; \
-	rm -f ${DOC}/pspad2.boot )
-
-@
 
 \subsection{mark.boot}
 <<mark.o (AUTO from MID)>>=
@@ -4980,17 +4388,6 @@ ${MID}/mark.clisp: ${IN}/mark.boot.pamphlet
 	  rm mark.boot )
 
 @
-<<mark.boot.dvi (DOC from IN)>>=
-${DOC}/mark.boot.dvi: ${IN}/mark.boot.pamphlet 
-	@echo 606 making ${DOC}/mark.boot.dvi from ${IN}/mark.boot.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/mark.boot.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} mark.boot ; \
-	rm -f ${DOC}/mark.boot.pamphlet ; \
-	rm -f ${DOC}/mark.boot.tex ; \
-	rm -f ${DOC}/mark.boot )
-
-@
 
 \subsection{axext\_l.lisp}
 <<axext\_l.o (OUT from MID)>>=
@@ -5016,18 +4413,6 @@ ${MID}/axext_l.lisp: ${IN}/axext_l.lisp.pamphlet
 	${TANGLE} ${IN}/axext_l.lisp.pamphlet >axext_l.lisp )
 
 @
-<<axext\_l.lisp.dvi (DOC from IN)>>=
-${DOC}/axext_l.lisp.dvi: ${IN}/axext_l.lisp.pamphlet 
-	@echo 609 making ${DOC}/axext_l.lisp.dvi \
-                  from ${IN}/axext_l.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/axext_l.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} axext_l.lisp ; \
-	rm -f ${DOC}/axext_l.lisp.pamphlet ; \
-	rm -f ${DOC}/axext_l.lisp.tex ; \
-	rm -f ${DOC}/axext_l.lisp )
-
-@
 
 \subsection{foam\_l.lisp}
 Note that this code links the interpreter with the Aldor compiler.
@@ -5052,25 +4437,6 @@ ${MID}/foam_l.lisp: ${IN}/foam_l.lisp.pamphlet
 	${TANGLE} ${IN}/foam_l.lisp.pamphlet >foam_l.lisp )
 
 @
-<<foam\_l.lisp.dvi (DOC from IN)>>=
-${DOC}/foam_l.lisp.dvi: ${IN}/foam_l.lisp.pamphlet 
-	@echo 612 making ${DOC}/foam_l.lisp.dvi from ${IN}/foam_l.lisp.pamphlet
-	@(cd ${DOC} ; \
-	cp ${IN}/foam_l.lisp.pamphlet ${DOC} ; \
-	${DOCUMENT} ${NOISE} foam_l.lisp ; \
-	rm -f ${DOC}/foam_l.lisp.pamphlet ; \
-	rm -f ${DOC}/foam_l.lisp.tex ; \
-	rm -f ${DOC}/foam_l.lisp )
-
-@
-
-\subsection{Makefile.dvi}
-<<Makefile.dvi (DOC from IN)>>=
-${DOC}/Makefile.dvi: ${IN}/Makefile.pamphlet 
-	@echo 613 making ${DOC}/Makefile.dvi from ${IN}/Makefile.pamphlet
-	@cp ${IN}/Makefile.dvi ${DOC}
-
-@
 
 \section{The databases}
 \subsection{autoload dependencies}
@@ -5148,7 +4514,6 @@ clean:
 
 <<as.o (OUT from MID)>>
 <<as.clisp (MID from IN)>>
-<<as.boot.dvi (DOC from IN)>>
 
 <<astr.o (OUT from MID)>>
 <<astr.lisp (MID from IN)>>
@@ -5156,21 +4521,17 @@ clean:
 <<ax.o (AUTO from OUT)>>
 <<ax.o (OUT from MID)>>
 <<ax.clisp (MID from IN)>>
-<<ax.boot.dvi (DOC from IN)>>
 
 <<axext\_l.o (OUT from MID)>>
 <<axext\_l.lisp (MID from IN)>>
-<<axext\_l.lisp.dvi (DOC from IN)>>
 
 <<bc-matrix.o (AUTO from OUT)>>
 <<bc-matrix.o (OUT from MID)>>
 <<bc-matrix.clisp (MID from IN)>>
-<<bc-matrix.boot.dvi (DOC from IN)>>
 
 <<br-con.o (AUTO from OUT)>>
 <<br-con.o (OUT from MID)>>
 <<br-con.clisp (MID from IN)>>
-<<br-con.boot.dvi (DOC from IN)>>
 
 <<buildom.o (OUT from MID)>>
 <<buildom.lisp (MID from IN)>>
@@ -5189,7 +4550,6 @@ clean:
 
 <<cfuns.o (OUT from MID)>>
 <<cfuns.lisp (MID from IN)>>
-<<cfuns.lisp.dvi (DOC from IN)>>
 
 <<clam.lisp (OUT from IN)>>
 <<clam.o (OUT from MID)>>
@@ -5209,7 +4569,6 @@ clean:
 
 <<construc.o (OUT from MID)>>
 <<construc.lisp (MID from IN)>>
-<<construc.lisp.dvi (DOC from IN)>>
 
 <<cparse.o (OUT from MID)>>
 <<cparse.lisp (MID from IN)>>
@@ -5223,13 +4582,11 @@ clean:
 
 <<daase.o (OUT from MID)>>
 <<daase.lisp (MID from IN)>>
-<<daase.lisp.dvi (DOC from IN)>>
 
 <<database.o (OUT from MID)>>
 <<database.lisp (MID from IN)>>
 
 <<debugsys.lisp (MID from IN)>>
-<<debugsys.lisp.dvi (DOC from IN)>>
 
 <<define.o (OUT from MID)>>
 <<define.lisp (MID from IN)>>
@@ -5239,13 +4596,11 @@ clean:
 
 <<fname.o (OUT from MID)>>
 <<fname.lisp (MID from IN)>>
-<<fname.lisp.dvi (DOC from IN)>>
 
 <<fnewmeta.o (AUTO from OUT)>>
 <<fnewmeta.o (OUT from MID)>>
 <<fnewmeta.lisp (OUT from IN)>>
 <<fnewmeta.lisp (MID from IN)>>
-<<fnewmeta.lisp.dvi (DOC from IN)>>
 
 <<format.o (OUT from MID)>>
 <<format.lisp (MID from IN)>>
@@ -5255,7 +4610,6 @@ clean:
 
 <<foam\_l.o (OUT from MID)>>
 <<foam\_l.lisp (MID from IN)>>
-<<foam\_l.lisp.dvi (DOC from IN)>>
 
 <<functor.o (OUT from MID)>>
 <<functor.lisp (MID from IN)>>
@@ -5285,7 +4639,6 @@ clean:
 
 <<hashcode.o (OUT from MID)>>
 <<hashcode.clisp (MID from IN)>>
-<<hashcode.boot.dvi (DOC from IN)>>
 
 <<htcheck.o (OUT from MID)>>
 <<htcheck.lisp (MID from IN)>>
@@ -5293,7 +4646,6 @@ clean:
 <<ht-util.o (AUTO from OUT)>>
 <<ht-util.o (OUT from MID)>>
 <<ht-util.clisp (MID from IN)>>
-<<ht-util.boot.dvi (DOC from IN)>>
 
 <<hypertex.o (OUT from MID)>>
 <<hypertex.lisp (MID from IN)>>
@@ -5329,7 +4681,6 @@ clean:
 
 <<interop.o (OUT from MID)>>
 <<interop.clisp (MID from IN)>>
-<<interop.boot.dvi (DOC from IN)>>
 
 <<i-map.o (OUT from MID)>>
 <<i-map.lisp (MID from IN)>>
@@ -5345,7 +4696,6 @@ clean:
 
 <<intint.o (OUT from MID)>>
 <<intint.lisp (MID from IN)>>
-<<intint.lisp.dvi (DOC from IN)>>
 
 <<int-top.o (OUT from MID)>>
 <<int-top.lisp (MID from IN)>>
@@ -5380,11 +4730,8 @@ clean:
 <<macex.o (OUT from MID)>>
 <<macex.lisp (MID from IN)>>
 
-<<Makefile.dvi (DOC from IN)>>
-
 <<mark.o (AUTO from MID)>>
 <<mark.clisp (MID from IN)>>
-<<mark.boot.dvi (DOC from IN)>>
 
 <<match.o (OUT from MID)>>
 <<match.lisp (MID from IN)>>
@@ -5394,7 +4741,6 @@ clean:
 
 <<monitor.o (OUT from MID)>>
 <<monitor.lisp (MID from IN)>>
-<<monitor.lisp.dvi (DOC from IN)>>
 
 <<msg.o (OUT from MID)>>
 <<msg.lisp (MID from IN)>>
@@ -5405,93 +4751,75 @@ clean:
 <<nag-c02.o (AUTO from OUT)>>
 <<nag-c02.o (OUT from MID)>>
 <<nag-c02.clisp (MID from IN)>>
-<<nag-c02.boot.dvi (DOC from IN)>>
 
 <<nag-c05.o (AUTO from OUT)>>
 <<nag-c05.o (OUT from MID)>>
 <<nag-c05.clisp (MID from IN)>>
-<<nag-c05.boot.dvi (DOC from IN)>>
 
 <<nag-c06.o (AUTO from OUT)>>
 <<nag-c06.o (OUT from MID)>>
 <<nag-c06.clisp (MID from IN)>>
-<<nag-c06.boot.dvi (DOC from IN)>>
 
 <<nag-d01.o (AUTO from OUT)>>
 <<nag-d01.o (OUT from MID)>>
 <<nag-d01.clisp (MID from IN)>>
-<<nag-d01.boot.dvi (DOC from IN)>>
 
 <<nag-d02.o (AUTO from OUT)>>
 <<nag-d02.o (OUT from MID)>>
 <<nag-d02.clisp (MID from IN)>>
-<<nag-d02.boot.dvi (DOC from IN)>>
 
 <<nag-d03.o (AUTO from OUT)>>
 <<nag-d03.o (OUT from MID)>>
 <<nag-d03.clisp (MID from IN)>>
-<<nag-d03.boot.dvi (DOC from IN)>>
 
 <<nag-e01.o (AUTO from OUT)>>
 <<nag-e01.o (OUT from MID)>>
 <<nag-e01.clisp (MID from IN)>>
-<<nag-e01.boot.dvi (DOC from IN)>>
 
 <<nag-e02.o (AUTO from OUT)>>
 <<nag-e02.o (OUT from MID)>>
 <<nag-e02.clisp (MID from IN)>>
-<<nag-e02.boot.dvi (DOC from IN)>>
 
 <<nag-e04.o (AUTO from OUT)>>
 <<nag-e04.o (OUT from MID)>>
 <<nag-e04.clisp (MID from IN)>>
-<<nag-e04.boot.dvi (DOC from IN)>>
 
 <<nag-f01.o (AUTO from OUT)>>
 <<nag-f01.o (OUT from MID)>>
 <<nag-f01.clisp (MID from IN)>>
-<<nag-f01.boot.dvi (DOC from IN)>>
 
 <<nag-f02.o (AUTO from OUT)>>
 <<nag-f02.o (OUT from MID)>>
 <<nag-f02.clisp (MID from IN)>>
-<<nag-f02.boot.dvi (DOC from IN)>>
 
 <<nag-f04.o (AUTO from OUT)>>
 <<nag-f04.o (OUT from MID)>>
 <<nag-f04.clisp (MID from IN)>>
-<<nag-f04.boot.dvi (DOC from IN)>>
 
 <<nag-f07.o (AUTO from OUT)>>
 <<nag-f07.o (OUT from MID)>>
 <<nag-f07.clisp (MID from IN)>>
-<<nag-f07.boot.dvi (DOC from IN)>>
 
 <<nag-s.o (AUTO from OUT)>>
 <<nag-s.o (OUT from MID)>>
 <<nag-s.clisp (MID from IN)>>
-<<nag-s.boot.dvi (DOC from IN)>>
 
 <<nci.o (OUT from MID)>>
 <<nci.lisp (MID from IN)>>
-<<nci.lisp.dvi (DOC from IN)>>
 
 <<newaux.o (OUT from MID)>>
 <<newaux.lisp (OUT from MID)>>
 <<newaux.lisp (MID from IN)>>
-<<newaux.lisp.dvi (DOC from IN)>>
 
 <<newfort.o (OUT from MID)>>
 <<newfort.lisp (MID from IN)>>
 
 <<nocompil.lisp (OUT from MID)>>
 <<nocompil.lisp (MID from IN)>>
-<<nocompil.lisp.dvi (DOC from IN)>>
 
 <<nruncomp.o (AUTO from OUT)>>
 <<nruncomp.o (OUT from MID)>>
 <<nruncomp.clisp (MID from IN)>>
-<<nruncomp.boot.dvi (DOC from IN)>>
 
 <<nrunfast.o (OUT from MID)>>
 <<nrunfast.lisp (MID from IN)>>
@@ -5509,11 +4837,9 @@ clean:
 <<nspadaux.o (OUT from MID)>>
 <<nspadaux.lisp (OUT from MID)>>
 <<nspadaux.lisp (MID from IN)>>
-<<nspadaux.lisp.dvi (DOC from IN)>>
 
 <<obey.o (OUT from MID)>>
 <<obey.lisp (MID from IN)>>
-<<obey.lisp.dvi (DOC from IN)>>
 
 <<osyscmd.o (OUT from MID)>>
 <<osyscmd.lisp (MID from IN)>>
@@ -5526,17 +4852,14 @@ clean:
 
 <<parini.o (OUT from MID)>>
 <<parini.clisp (MID from IN)>>
-<<parini.boot.dvi (DOC from IN)>>
 
 <<parsing.o (AUTO from OUT)>>
 <<parsing.o (OUT from MID)>>
 <<parsing.lisp (OUT from MID)>>
 <<parsing.lisp (MID from IN)>>
-<<parsing.lisp.dvi (DOC from IN)>>
 
 <<patches.o (OUT from MID)>>
 <<patches.lisp (MID from IN)>>
-<<patches.lisp.dvi (DOC from IN)>>
 
 <<pathname.o (OUT from MID)>>
 <<pathname.lisp (MID from IN)>>
@@ -5559,11 +4882,9 @@ clean:
 
 <<pspad1.o (AUTO from MID)>>
 <<pspad1.clisp (MID from IN)>>
-<<pspad1.boot.dvi (DOC from IN)>>
 
 <<pspad2.o (AUTO from MID)>>
 <<pspad2.clisp (MID from IN)>>
-<<pspad2.boot.dvi (DOC from IN)>>
 
 <<ptrees.o (OUT from MID)>>
 <<ptrees.lisp (MID from IN)>>
@@ -5576,7 +4897,6 @@ clean:
 
 <<regress.o (OUT from MID)>>
 <<regress.lisp (MID from IN)>>
-<<regress.lisp.dvi (DOC from IN)>>
 
 <<rulesets.o (OUT from MID)>>
 <<rulesets.lisp (MID from IN)>>
@@ -5595,7 +4915,6 @@ clean:
 
 <<sfsfun-l.o (OUT from MID)>>
 <<sfsfun-l.lisp (MID from IN)>>
-<<sfsfun-l.lisp.dvi (DOC from IN)>>
 
 <<simpbool.o (OUT from MID)>>
 <<simpbool.lisp (MID from IN)>>
@@ -5606,11 +4925,9 @@ clean:
 
 <<sockio.o (OUT from MID)>>
 <<sockio.lisp (MID from IN)>>
-<<sockio.lisp.dvi (DOC from IN)>>
 
 <<sys-pkg.lisp (OUT from MID)>>
 <<sys-pkg.lisp (MID from IN)>>
-<<sys-pkg.lisp.dvi (DOC from IN)>>
 
 <<template.o (OUT from MID)>>
 <<template.lisp (MID from IN)>>
@@ -5621,70 +4938,28 @@ clean:
 <<topics.o (AUTO from OUT)>>
 <<topics.o (OUT from MID)>>
 <<topics.clisp (MID from IN)>>
-<<topics.boot.dvi (DOC from IN)>>
 
 <<util.o (OUT from MID)>>
 <<util.lisp (OUT from MID)>>
 <<util.lisp (MID from IN)>>
-<<util.lisp.dvi (DOC from IN)>>
 
 <<varini.o (OUT from MID)>>
 <<varini.clisp  (MID from IN)>>
-<<varini.boot.dvi (DOC from IN)>>
 
 <<vmlisp.o (OUT from MID)>>
 <<vmlisp.lisp (MID from IN)>>
-<<vmlisp.lisp.dvi (DOC from IN)>>
 
 <<warm.data.stanza>>
 
 <<wi1.o (AUTO from MID)>>
 <<wi1.clisp (MID from IN)>>
-<<wi1.boot.dvi (DOC from IN)>>
 
 <<wi2.o (AUTO from MID)>>
 <<wi2.clisp (MID from IN)>>
-<<wi2.boot.dvi (DOC from IN)>>
 
 @
 pp
 \eject
 \begin{thebibliography}{99}
-\bibitem{1} {\bf \$SPAD/Makefile.pamphlet}
-\bibitem{2} {\bf \$SPAD/src/boot/Makefile.pamphlet}
-\bibitem{5} {\bf \$SPAD/src/interp/patches.lisp.pamphlet}
-\bibitem{6} {\bf www.aldor.org}
-\bibitem{10} {\bf \$SPAD/src/interp/cfuns.lisp.pamphlet}
-\bibitem{12} {\bf \$SPAD/src/interp/construc.lisp.pamphlet}
-\bibitem{13} {\bf \$SPAD/src/interp/daase.lisp.pamphlet}
-\bibitem{16} {\bf \$SPAD/src/interp/fortcall.boot.pamphlet}
-\bibitem{17} {\bf \$SPAD/src/interp/fname.lisp.pamphlet}
-\bibitem{24} {\bf \$SPAD/src/interp/monitor.lisp.pamphlet}
-\bibitem{25} {\bf \$SPAD/src/interp/newaux.lisp.pamphlet}
-\bibitem{27} {\bf \$SPAD/src/interp/nocompil.lisp.pamphlet}
-\bibitem{28} {\bf \$SPAD/src/interp/nspadaux.lisp.pamphlet}
-\bibitem{29} {\bf \$SPAD/src/interp/parsing.lisp.pamphlet}
-\bibitem{30} {\bf \$SPAD/src/interp/postprop.lisp.pamphlet}
-\bibitem{33} {\bf \$SPAD/src/interp/sockio.lisp.pamphlet}
-\bibitem{36} {\bf \$SPAD/src/interp/sys-pkg.lisp.pamphlet}
-\bibitem{38} {\bf \$SPAD/src/interp/util.lisp.pamphlet}
-\bibitem{39} {\bf \$SPAD/src/interp/vmlisp.lisp.pamphlet}
-\bibitem{42} {\bf \$SPAD/src/interp/c-util.boot.pamphlet}
-\bibitem{43} {\bf \$SPAD/src/interp/nag-c02.boot.pamphlet}
-\bibitem{44} {\bf \$SPAD/src/interp/nag-c05.boot.pamphlet}
-\bibitem{45} {\bf \$SPAD/src/interp/nag-c06.boot.pamphlet}
-\bibitem{46} {\bf \$SPAD/src/interp/nag-d01.boot.pamphlet}
-\bibitem{47} {\bf \$SPAD/src/interp/nag-d02.boot.pamphlet}
-\bibitem{48} {\bf \$SPAD/src/interp/nag-d03.boot.pamphlet}
-\bibitem{49} {\bf \$SPAD/src/interp/nag-e01.boot.pamphlet}
-\bibitem{51} {\bf \$SPAD/src/interp/nag-e02.boot.pamphlet}
-\bibitem{52} {\bf \$SPAD/src/interp/nag-e04.boot.pamphlet}
-\bibitem{53} {\bf \$SPAD/src/interp/nag-f01.boot.pamphlet}
-\bibitem{54} {\bf \$SPAD/src/interp/nag-f02.boot.pamphlet}
-\bibitem{55} {\bf \$SPAD/src/interp/nag-f04.boot.pamphlet}
-\bibitem{56} {\bf \$SPAD/src/interp/nag-f07.boot.pamphlet}
-\bibitem{57} {\bf \$SPAD/src/interp/nag-s.boot.pamphlet}
-\bibitem{58} {\bf \$SPAD/src/interp/category.boot.pamphlet}
-\bibitem{64} {\bf \$SPAD/src/interp/compiler.boot.pamphlet}
 \end{thebibliography}
 \end{document}