>>>>> 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. -- Thanks, Davide _______________________________________________ auctex-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex-devel
