diff options
Diffstat (limited to 'src/interp/Makefile.in')
| -rw-r--r-- | src/interp/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index 55cea06a..5ac93c59 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -135,7 +135,7 @@ YEARWEEK=(progn (defconstant timestamp "${TIMESTAMP}") \ .PRECIOUS: ${AXIOMSYS} UNUSED= ${DOC}/construc.lisp.dvi \ - ${DOC}/domain.lisp.dvi ${DOC}/guess.boot.dvi \ + ${DOC}/guess.boot.dvi \ ${DOC}/interp-fix.boot.dvi \ ${DOC}/nhyper.boot.dvi ${DOC}/pf2atree.boot.dvi \ ${DOC}/redefs.boot.dvi ${DOC}/word.boot.dvi |