Is it a good idea to remove autom4te.cache in call make in autogen.sh? IMO it would be cleaner to call make only when one actually executes `make'. And cleaning up should be done in a whatever-clean target; at the moment it is already done in maintainer-clean.
-- Ralf _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
