Re: Fwd: REVIEW REQUEST - user manual generation

[Gavin Smith]

On 3 May 2016 at 10:13, Vincent Belaïche <address@hidden> wrote:
> Anyway that is not a final answer to the issue of odd filenames. For
> instance a filename like '^^20.texi' would be misinterpreted as
> ' .texi' by the latest patch which I have submitted.

I got ^ to work in a filename using the method in that patch (using
\relax more as a terminator which mean that ^^0 wasn't needed as a
space character).

% didn't work. I haven't investigated why not.

Space isn't done. I have an idea of how to do it, but it's not certain
whether it will work.

Latest version at

http://svn.savannah.gnu.org/viewvc/trunk/util/texi2dvi?revision=7147&root=texinfo&view=markup