|Bill Allombert on Sat, 19 Jan 2008 13:01:17 +0100|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: documentation in PDF?|
On Sat, Jan 19, 2008 at 12:27:50PM +0100, Vincent Lefevre wrote: > On 2008-01-19 01:21:44 +0100, Karim Belabas wrote: > > Indeed, we also provide pdf: > > > > * make docpdf [ from toplevel or doc/ ] > > OK, but why isn't docpdf the default (instead of doc)? > > Also, even if "make docpdf" is used, "make install" installs the > dvi/ps versions, not the pdf ones. The issue is that if you build from source on a unix system, you might: 1) have a old TeX installation which is not able to build pdf or 2) not have xpdf installed. On the other hand you will have xdvi installed because it is part of a TeX distribution. Also xdvi is generally be much faster than a PDF reader. Cheers, Bill.