I just realized that the macro "have-preview" is a bad idea: when we are pregenerating information, we can't know in advance what setting will be there.
Sigh. Rewriting the stuff again. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
