Hi Tim,
The toplevel Makefile.dvi gets copied in the installation directory
twice:
* once at part of
all: noweb ${MNT}/${SYS}/bin/Makefile.pamphlet
@ echo 1 making a ${SYS} system, PART=${PART}
SUBPART=${SUBPART}
@ echo 2 Environment ${ENV}
@ ${TANGLE} -t8 -RMakefile.${SYS} Makefile.pamphlet
>Makefile.${SYS}
@ ${DOCUMENT} Makefile
@ mkdir -p ${MNT}/${SYS}/doc/src
@ cp Makefile.dvi ${MNT}/${SYS}/doc/src/root.Makefile.dvi
@ ${ENV} $(MAKE) -f Makefile.${SYS}
@echo 3 finished system build on `date` | tee >lastBuildDate
* a second time, right after "making" the lsp directory
<<LSPMakefile>>=
${LSP}/Makefile: ${LSP}/Makefile.pamphlet
@echo 20 making ${LSP}/Makefile from ${LSP}/Makefile.pamphlet
@( cd lsp ; \
${DOCUMENT} ${NOISE} Makefile ; \
if [ "${GCLVERSION}" != "gcl-2.4.1" ] ; then \
${TANGLE} -t8 -R"${GCLVERSION}" Makefile.pamphlet >Makefile ; \
fi )
@cp Makefile.dvi ${MNT}/${SYS}/doc/src
Isn't that a bug?
-- Gaby
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
