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
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.