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)