Re: [AUCTeX-devel] files with non-ascii characters and LaTeX as in TeXLive 2018

[jfbu]

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.