diff options
Diffstat (limited to 'src/interp/Makefile.pamphlet')
| -rw-r--r-- | src/interp/Makefile.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index c3714e72..a1579c1c 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -410,11 +410,9 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex \end{verbatim} <<databases>>= 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=$@ $< + $(oa_hammer) --tangle --output=$@ $< $(axiom_targetdir)/algebra/exposed.$(FASLEXT) : exposed.lsp boot-pkg.$(LNKEXT) - @ echo 616 making $@ from exposed.lsp $(mkdir_p) $(axiom_targetdir)/algebra $(BOOTSYS) --compile --output=$@ --load-directory=. $< |