Le Mon, 09 Nov 2009 18:53:55 +0100, Gerd Stolpmann <[email protected]> a écrit:
> > Am Montag, den 09.11.2009, 17:20 +0100 schrieb AUGER: >> Hi all, >> for instance, we have >> *app >> *conf >> *godi >> patckage types, but what about adding a >> *doc >> package type for ocamldoc generated documentation: >> >> compiling a documentation can take some time in one hand >> a lot of packages don't have their own documentation (lablgtk2 for >> instance), >> >> so installing or not a documentation is way too general to be done in >> each >> configure script, >> and many package managers provide them separately, so I think we should >> offer doc packages > > There are a few manuals that are distributed separately, but most of the > packages come with "integrated documentation" (and some, unfortunately, > without, or there is only a web site). Either the docs are just a bunch > of already generated files that only need to be copied to the right > place, or they are generated on the fly with ocamldoc (sure, it is > sometimes time-consuming). > > I don't see why the addition of a new category makes any of these things > easier. Can you elaborate a bit more? > > Gerd It wouldn't be easier but cleaner, I think. When I wanted to use the documentation of lablgtk2, I haven't found it in the godi hierarchy godi/doc, where I thought it should be, and the online documentation seemed broken (only API part is available). If you work off-line, you should want to have your documentation installed, without having to download it from the web. So you should want to generate files automatically. But for some other programs, especially for programs necessary only for dependances with other, you may not want to wait the documentation you won't use to be generated, so you don't want its documentation package. N.B. In fact, I didn't installed libgtk2.0-doc, so it was the reason why the online documentation seemed broken. -- Cédric AUGER Univ Paris-Sud, Laboratoire LRI, UMR 8623, F-91405, Orsay _______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
