>>>>> MG == Mosè Giordano [2014-11-24] [...]
MG> Does someone have other suggestions? Hi Mosè, I reviewed your patch; I could not come up with anything better, and while it does have some drawbacks[1], it is indeed an improvement over the current situation, thanks! Footnotes: [1] Beside the need to fiddle with a much customized variable, your patch only checks if the executable exists, but it won't notice run-time failures. -- Thanks, Davide _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex