#3486 "make dvi" fails: /usr/bin/texi2dvi: no such file or directory: imaxima.dvi

[Gunter Königsmann]

"make distcheck" tests if the tarball contins all necessary files - which is why I started working on the out-of-tree build. Currently it fails with

"make dvi" fails: /usr/bin/texi2dvi: no such file or directory: imaxima.dvi

I am not sure, though, if that isn't a bug in texi2dvi and we cannot do anything about it.

[Gunter Königsmann]

~~~
texi2dvi imaxima.texi
~~~~
fails, too => texi2dvi is broken on my system.