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


Reply via email to