Ralf Angeli <[EMAIL PROTECTED]> writes: > * 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?
Uh, there is a current implementation? We don't descend into the preview directories, and that is good enough for the code. But the documentation of preview is not in the preview subdirectories. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
