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 -- 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
