Hi Jack, Thanks for the report.
Running texi2dvi -o doc/foo.dvi doc/foo.texi causes a copy of foo.dvi Akim, are you around now? Can you look into this? (I am drowning just now after two weeks away.) Thanks, Karl
Hi Jack, Thanks for the report.
Running texi2dvi -o doc/foo.dvi doc/foo.texi causes a copy of foo.dvi Akim, are you around now? Can you look into this? (I am drowning just now after two weeks away.) Thanks, Karl