Re: [camlidl

[georges mariano <georges.mariano@inrets.fr>]

On Fri, 9 Nov 2001 14:23:39 +0100  Stefano Zacchiroli <zack@debian.org> wrote:

>SZ > following Ralf experience, I think that the better we can do are
>SZ > "camlidl" and "camlidl-doc", both packages are decente sized (100K and
>SZ > 200K).

just a detail, what do you call "camlidl-doc" ?

is it 
a) the upstream available html files ? 
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 ...

I would prefer the b) but note that the Makefile uses tools like
htmlgen, htmlcut, htmlthread, format-intf, texquote3 ...

Maybe we can propose upstream to switch to latex/hevea generated documentation
:-)

cheers


-- 
# mailto:Georges.Mariano@inrets.fr     tel: (33) 03 20 43 84 06   
# INRETS, 20 rue Élisée Reclus         fax: (33) 03 20 43 83 59   
# BP 317 -- 59666 Villeneuve d'Ascq       
# http://www3.inrets.fr/estas/mariano