1 files changed, 0 insertions, 153 deletions
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
index e3dd2a29..ebec650c 100644
--- a/src/interp/Makefile.pamphlet
+++ b/src/interp/Makefile.pamphlet
@@ -1175,131 +1175,6 @@ c-util.clisp: c-util.boot
 
 @
 
-\subsection{nag-c02.boot \cite{43}}
-
-<<nag-c02.clisp>>=
-nag-c02.clisp: nag-c02.boot
-	@ echo 152 making $@ from $<
-	@ echo '(old-boot::boot "nag-c02.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-c05.boot \cite{44}}
-
-<<nag-c05.clisp>>=
-nag-c05.clisp: nag-c05.boot
-	@ echo 156 making $@ from $<
-	@ echo '(old-boot::boot "nag-c05.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-c06.boot \cite{45}}
-
-<<nag-c06.clisp>>=
-nag-c06.clisp: nag-c06.boot
-	@ echo 160 making $@ from $<
-	@ echo '(old-boot::boot "nag-c06.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-d01.boot \cite{46}}
-
-<<nag-d01.clisp>>=
-nag-d01.clisp: nag-d01.boot
-	@ echo 164 making $@ from $<
-	@ echo '(old-boot::boot "nag-d01.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-d02.boot \cite{47}}
-
-<<nag-d02.clisp>>=
-nag-d02.clisp: nag-d02.boot
-	@ echo 168 making $@ from $<
-	@ echo '(old-boot::boot "nag-d02.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-d03.boot \cite{48}}
-
-<<nag-d03.clisp>>=
-nag-d03.clisp: nag-d03.boot
-	@ echo 172 making $@ from $<
-	@ echo '(old-boot::boot "nag-d03.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-e01.boot \cite{49}}
-
-<<nag-e01.clisp>>=
-nag-e01.clisp: nag-e01.boot
-	@ echo 176 making $@ from $<
-	@ echo '(old-boot::boot "nag-e01.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-e02.boot \cite{51}}
-
-<<nag-e02.clisp>>=
-nag-e02.clisp: nag-e02.boot
-	@ echo 184 making $@ from $<
-	@ echo '(old-boot::boot "nag-e02.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-e04.boot \cite{52}}
-
-<<nag-e04.clisp>>=
-nag-e04.clisp: nag-e04.boot
-	@ echo 188 making $@ from $<
-	@ echo '(old-boot::boot "nag-e04.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-f01.boot \cite{53}}
-
-<<nag-f01.clisp>>=
-nag-f01.clisp: nag-f01.boot
-	@ echo 192 making $@ from $<
-	@ echo '(old-boot::boot "nag-f01.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-f02.boot \cite{54}}
-
-<<nag-f02.clisp>>=
-nag-f02.clisp: nag-f02.boot
-	@ echo 196 making $@ from $<
-	@ echo '(old-boot::boot "nag-f02.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-f04.boot \cite{55}}
-
-<<nag-f04.clisp>>=
-nag-f04.clisp: nag-f04.boot
-	@ echo 200 making $@ from $<
-	@ echo '(old-boot::boot "nag-f04.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-f07.boot \cite{56}}
-
-<<nag-f07.clisp>>=
-nag-f07.clisp: nag-f07.boot
-	@ echo 204 making $@ from $<
-	@ echo '(old-boot::boot "nag-f07.boot")' | ${DEPSYS}
-
-@
-
-\subsection{nag-s.boot \cite{57}}
-
-<<nag-s.clisp>>=
-nag-s.clisp: nag-s.boot
-	@ echo 208 making $@ from $<
-	@ echo '(old-boot::boot "nag-s.boot")' | ${DEPSYS}
-
-@
 
 \subsection{category.boot \cite{58}}
 
@@ -2151,34 +2026,6 @@ boot-pkg.$(FASLEXT): boot-pkg.lisp
 
 <<msgdb.clisp>>
 
-<<nag-c02.clisp>>
-
-<<nag-c05.clisp>>
-
-<<nag-c06.clisp>>
-
-<<nag-d01.clisp>>
-
-<<nag-d02.clisp>>
-
-<<nag-d03.clisp>>
-
-<<nag-e01.clisp>>
-
-<<nag-e02.clisp>>
-
-<<nag-e04.clisp>>
-
-<<nag-f01.clisp>>
-
-<<nag-f02.clisp>>
-
-<<nag-f04.clisp>>
-
-<<nag-f07.clisp>>
-
-<<nag-s.clisp>>
-
 <<newfort.clisp>>
 
 <<nruncomp.clisp>>