search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

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

Open rtoy opened 3 months ago

rtoy commented 3 months ago

Imported from SourceForge on 2024-07-07 15:47:52 Created by peterpall on 2018-10-29 06:45:39 Original: https://sourceforge.net/p/maxima/bugs/3486

"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.

rtoy commented 3 months ago

Imported from SourceForge on 2024-07-07 15:47:53 Created by peterpall on 2018-10-29 06:48:47 Original: https://sourceforge.net/p/maxima/bugs/3486/#c777

 texi2dvi imaxima.texi

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

rtoy commented 3 months ago

Imported from SourceForge on 2024-07-07 15:47:56 Created by peterpall on 2018-10-29 06:49:04 Original: https://sourceforge.net/p/maxima/bugs/3486/#2ce0