On Fri, Nov 09, 2001 at 03:06:38PM +0100, georges mariano wrote: > b) or the freshly generated ones > (from inside the packaging process) ?? > > i.e one source package but splitted into two binaries camlidl > and camlidl-doc ... yes > I would prefer the b) but note that the Makefile uses tools like > htmlgen, htmlcut, htmlthread, format-intf, texquote3 ... no, I've found on the camlidl site the already generated ps, pdf and html version of the documentation. Cheers. -- Stefano "Zack" Zacchiroli <zack@cs.unibo.it> ICQ# 33538863 Home Page: http://www.cs.unibo.it/~zacchiro Undergraduate student of Computer Science @ University of Bologna, Italy - Information wants to be Open -
Attachment:
pgphJh_lBxotv.pgp
Description: PGP signature