> I was thinking about it a bit more, and isn't the right way to do to > have the dvips be run in the postinstall script? In theory. But it's probably not be worth the effort of dealing with <n> different packaging systems (plus, on some platforms we just have a tgz). If we still have dvi files in the future, it would probably be easier to just put them on the web site.