diff options
Diffstat (limited to 'src/interp/Makefile.pamphlet')
| -rw-r--r-- | src/interp/Makefile.pamphlet | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index 583bb05d..165922ab 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -1520,14 +1520,6 @@ i-map.clisp: i-map.boot @ echo '(progn (old-boot::boot "i-map.boot"))' | ${DEPSYS} @ -\subsection{i-output.boot} - -<<i-output.clisp>>= -i-output.clisp: i-output.boot - @ echo 307 making $@ from $< - @ echo '(progn (old-boot::boot "i-output.boot"))' | ${DEPSYS} -@ - \subsection{i-resolv.boot} <<i-resolv.clisp>>= @@ -2109,8 +2101,6 @@ $(AUTO)/%.$(FASLEXT): %.$(FASLEXT) <<info.clisp>> -<<i-output.clisp>> - <<i-resolv.clisp>> <<i-spec1.clisp>> |