2014-11-15 15:00 GMT+01:00 Davide G. M. Salvetti <salve+ev...@linux.it>: >>>>>> MG == Mosè Giordano [2014-11-15] > > MG> `expand-file-name' is always used to properly handle those > MG> directories, so I agree with your proposed change, thank you! > > I've applied this changeset, along with a couple of other separated > trivial ones.
I've seen you also provided a couple of style files: you should add them to the `STYLESRC' variable in Makefile.in, they won't be compiled otherwise. Bye, Mosè _______________________________________________ auctex-devel mailing list auctex-devel@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-devel
