Colin Baxter <m43...@yandex.com> writes: >>>>>> Arash Esbati <ar...@gnu.org> writes: > > > I do basically the same thing, but issue a `make extraclean' > > before `./autogen.sh'. Do you want to give it a roll? > > Would `make distclean' have the same effect?
>From the rules in the Makefile, I suspect that it would suffice as well. Best, Arash _______________________________________________ auctex-devel mailing list firstname.lastname@example.org https://lists.gnu.org/mailman/listinfo/auctex-devel