Patch fixed (the original one didn't really work with a list of executables) and installed.
Bye, Mosè 2014-11-25 16:49 GMT+01:00 Davide G. M. Salvetti <sa...@debian.org>: >>>>>> 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