On 3 May 2016 at 10:13, Vincent Belaïche <[email protected]> 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
