Re: Fwd: REVIEW REQUEST - user manual generation

[Gavin Smith]

On 29 April 2016 at 09:27, Vincent Belaïche <address@hidden> wrote:
> Attached is an attempt to do that. Unfortunately using \egroup for group
> end does not work, because whether it is a \toks or a \def you need the
> the end of the definition terminated by a catcode=2 character.
>
> So, I need only one forbidden character in filenames (in addition to
> backslash) to make it.

The use of \expandafter and groups seems like a good trick to get
arbitrary filenames. One suggestion is to use "/" as the close group
character (catcode 2), as that shouldn't appear in filenames. Another
idea is to look through the filename that was given for what
characters are in it. Either way it's tricky, but I don't see a better
way.

I've been working on a patch to avoid the use of absolute paths
altogether, but it isn't done yet.