diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-21 03:07:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-21 03:07:54 +0000 |
| commit | ef6d755c944ef5af40c909c6683a3691dc9f6a57 (patch) | |
| tree | 6846c64d6b110b3f2263f5fcf7ef2d6152677c40 /src/algebra/Makefile.in | |
| parent | 3acb80d8039c289b5257af5eee8e31cca088590d (diff) | |
| download | open-axiom-ef6d755c944ef5af40c909c6683a3691dc9f6a57.tar.gz | |
External tool noweb is no longer required.
* INSTALL: Update instructions.
* Makefile.pamphlet: Remove rules for building noweb.
(AXIOM_SRC_TARGETS): Include all-utils.
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for
notangle and noweave.
* config/setup-dep.mk: Remove rules for generating document.
* config/var-def.mk: Remove NOTANGLE and NOWEAVE variables.
* configure.ac: Instantiate Makefile for src/utils.
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index e2293479..0b47e87a 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1131,7 +1131,7 @@ strap/%.$(FASLEXT): $(srcdir)/strap/%.lsp $(OUTSRC)/%.spad: mk-target-src-algabra-dir ${OUTSRC}/%.spad: $(srcdir)/%.spad.pamphlet - $(axiom_build_document) --tangle --output=$@ $< + $(oa_hammer) --tangle --output=$@ $< .PHONY: mk-target-src-algabra-dir mk-target-src-algabra-dir: @@ -1153,10 +1153,10 @@ $(builddir)/%.dvi: $(axiom_build_texdir)/diagrams.tex \ $(axiom_build_texdir)/axiom.sty $(builddir)/%.dvi: $(builddir)/%.tex - $(axiom_build_document) --latex $< + $(oa_hammer) --latex $< $(builddir)/%.tex: $(srcdir)/%.pamphlet - $(axiom_build_document) --weave --output=$@ $< + $(oa_hammer) --weave --output=$@ $< $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex @cp -p $< $@ @@ -1170,13 +1170,13 @@ PARSER.NRLIB/code.$(FASLEXT): script-parser.spad ${INPUT}/TESTFR.input: $(srcdir)/fr.spad.pamphlet - $(axiom_build_document) --tangle='TEST FR' --output=$@ $< + $(oa_hammer) --tangle='TEST FR' --output=$@ $< ${INPUT}/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet - $(axiom_build_document) --tangle='TEST INTHEORY' --output=$@ $< + $(oa_hammer) --tangle='TEST INTHEORY' --output=$@ $< ${INPUT}/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet - $(axiom_build_document) --tangle='TEST VIEW2D' --output=$@ $< + $(oa_hammer) --tangle='TEST VIEW2D' --output=$@ $< ${DOC}/diagrams.tex: $(axiom_src_docdir)/diagrams.tex |