Re: documentation in PDF?

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

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.