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