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
auctex-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to