Le 9 nov. 09 à 19:15, AUGER a écrit : > 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? > > 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.
I didn't get something: what's the problem with just having the documentation installed when the package is installed ? V. _______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
