diff options
Diffstat (limited to 'src/input/Makefile.pamphlet')
| -rw-r--r-- | src/input/Makefile.pamphlet | 29 |
1 files changed, 3 insertions, 26 deletions
diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet index cb8129e0..7e5b4860 100644 --- a/src/input/Makefile.pamphlet +++ b/src/input/Makefile.pamphlet @@ -16,12 +16,6 @@ \eject \section{Introduction} -This creates the mnt/sys/input subdirectory. The files are known -as ``input'' files which are a list of Axiom commands. Each file -(say ``foo.input'') can run in an Axiom system with the command: -\begin{verbatim} -)read foo.input -\end{verbatim} Each of the files in this subdirectory is intended to achieve a three goals. First, the file shows examples of how to use Axiom @@ -58,21 +52,17 @@ regress target. <<genericRules>>= ${OUT}/%.input: %.input - @ echo generic 10 making $@ from $< @ $(INSTALL) $< $@ .PRECIOUS: %.input %.input: ${IN}/%.input.pamphlet - @ echo generic 11 making $@ from $< @$(axiom_build_document) --output=$@ --tangle $< ${OUT}/%.as: %.as - @echo generic 12 making $@ from $< @ $(INSTALL) $< $@ %.as: ${IN}/%.as.pamphlet - @echo generic 13 making $@ from $< @ $(axiom_build_document) --output=$@ --tangle $< pamphlets = \ @@ -124,7 +114,6 @@ all-ax all-input: echo aging ${OUT}/`basename $$i .rec`.out ; \ ${TOUCH} 0101010189 `basename $$i .rec`.out ;fi ;done) @ (cd ${OUT} ; ${MAKE} -f Makefile `echo *.out` ) -# @ (cd ${OUT} ; maildiff ) @ echo done and yet further stanzas @@ -367,8 +356,8 @@ OUTS= algaggr.output algbrbf.output algfacob.output alist.output \ # These files are tested in a different directory. ALGEBRA=INTHEORY.output VIEW2D.output TESTFR.output -.PHONY: regression-tests -regression-tests: ${OUTS} +.PHONY: all-check +all-check: ${OUTS} @ echo 1 finished ./$(top_builddir)/int/input %.output: %.input @@ -889,7 +878,7 @@ DOCFILES= \ all: all-ax -all-ax all-input: $(OUT) ${FILES} ${FILES2} ${ASFILES} regress +all-ax all-input: $(OUT) ${FILES} ${FILES2} ${ASFILES} @echo 1 finished $(srcdir) $(OUT): @@ -897,18 +886,6 @@ $(OUT): <<genericRules>> -use: - @echo 2 making ${OUT} from ${IN} - -regress: - ${MAKE} regression-tests - -bug: - @echo 4 making ${OUT} from ${IN} - -document: - @echo 5 documenting ${OUT} - mostlyclean-local: -rm -rf $(MID) -rm -rf $(OUT) |