Hello Jack, Jack Kelly writes: > > I think I have found a bug with texi2dvi. It seems to manifest only > when using -o to write the dvi to a subdirectory and when the .texi > file has a sectioning command like @top. texi2dvi emits an identical > copy of the dvi file in the current working directory. > > I found a similar-sounding report from 2007: > http://www.mail-archive.com/bug-texinfo <at> gnu.org/msg03174.html (indeed, > I found the problem in the same way: my `make distcheck ' failed > because of extra .dvi files left about.) > > Minimal example to reproduce this bug:
FWIW, I reported a similar bug a while ago, it got fixed in texinfo. I cannot reproduce your bug with the current texinfo. > Is there any other useful information I can provide? Yes: if this still occurs with current texinfo, then please provide a recipe to reproduce that. Thanks! Ralf
