Bug#2491: dvi2tty: disdvi segfaults
> disdvi dvifile.dvi segfaults. I can't do much in the way of testing, as
I had a segfault too.
> there is no documentation for this utility :-( - disdvi --help simply
disdvi -h will show very brief documentation.
> --help.dvi: No such file or directory
> Also, the description is inaccurate - it refers to the divdvi utility,
> meaning the disdvi utility.
Should be changed right away.
The segfault thing will be forwarded to the upstream maintainer, he doesn't
seem very active on this.
Erick Branderhorst@heel.fgg.eur.nl +31-10-4635142
Department of General Surgery (Intensive Care) University Hospital Rotterdam NL