I took another look just now, and the fix to allow string specs was simpler than I had thought. The attached patch suffices for my practical purposes, but I'll confess that I don't know all the ways verbatim arguments can appear in macros.
Paul
0001-Fix-folding-of-verbatim-macros.patch
Description: Binary data
_______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
