[Axiom-developer] Toplevel Makefile.dvi

[Gabriel Dos Reis]

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