Hi Davide, 2014-11-19 7:13 GMT+01:00 Davide G. M. Salvetti <salve+ev...@linux.it>: >>>>>> MG == Mosè Giordano [2014-11-19] > > [...] > > MG> I don't know, perhaps not to clutter the repo with non-essential > MG> stuff, though needed for the online manual. > > I suggest to create a separated branch with this patch. You could then > rebase the branch as needed, as long as it's clearly documented what the > branch is for and that it will be rebased.
That's a good idea, but where do you mean it should be documented? AUCTeX page on Savannah? Bye, Mosè _______________________________________________ auctex-devel mailing list auctex-devel@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-devel