Le 24/05/2018 à 10:46, jfbu a écrit :
Notice that when ##1 (i.e. the filename) will be grabbed) the / is of
catcode 0, so ##1 is tokenized accordingly. Which in principle could
perhaps cause an issue \detokenize{aaa/b23} would give aaa/b<space>123
but as / is not legal in filenames in contexts I know of, I did not even
test this anticipation.
actually the \detokenize will use escapechar setting so
this would give aaa\b<space>123 with a backslash
but anyway I decided / will not possibly be part of a filename...
J.-F.
_______________________________________________
auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex
