> I'd like to have updates in the documentation. New customize option is > probably overkilling. > > > (presumably by sending a patch on top of the current one, to this > > thread?) > > Yes, please.
Please see attached. Thanks, best, Paul
0001-Adjust-docs.patch
Description: Binary data
_______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
