* David Kastrup (2005-06-14) writes: > Ralf Angeli <[EMAIL PROTECTED]> writes: > >> - cd doc && $(MAKE) extradist >> + cd doc && $(MAKE) dist extradist > > Where is the use of that? The autogen.sh in the exported tree already > generates all the files corresponding to "dist", and we don't use any > of the corresponding files from the current source tree?
Argh, forgot that that the tree is exported. When I added this I though "Oh, what happens if somebody changed the docs between the last call to autogen.sh and the creation of the distribution.". I'll remove it again. > Anyway, we still need to heed "--disable-preview" for our install > targets. Is the current implementation not good enough? -- Ralf _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
