[doc] more on docbook stuff

[Chuck Hagenbuch]

Quoting Eric Rostetter <eric.rostetter@physics.utexas.edu>:

> I get an error that I don't have dvipdfm, but I note that I do have
> dvipdf instead?  Anyone know if these are the same?

They are different packages, in debian at least. I don't know any more than
that.

-chuck

--
Charles Hagenbuch, <chuck@horde.org>
"People ask me all the time what it will be like living without otters."
 - Google, thanks to Harpers