Vincent Lefevre on Sat, 19 Jan 2008 12:34:37 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: documentation in PDF?


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.

-- 
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)