It's not packaged because there's no .tex file but only the binary .dvi.
See the very first debian/changelog, it says removed manual/manual.dvi.

Better to have a pointer to where one could get the documentation, than
no pointer, and no documentation, isn't it?

Reply via email to