Colin Baxter <> writes:

>>>>>> Arash Esbati <> writes:
>     > I do basically the same thing, but issue a `make extraclean'
>     > before `./'.  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

Reply via email to