Previous  Up  Next

Module BaseDoc

module BaseDoc: sig .. end
Build documentation
Author(s): Sylvain Le Gall
val doc : ((OASISTypes.package ->
         OASISTypes.common_section * OASISTypes.doc -> OASISTypes.arg array -> unit) *
        OASISTypes.common_section * OASISTypes.doc)
       list -> OASISTypes.package -> OASISTypes.arg array -> unit
doc lst pkg extra_args Build all documents. lst elements are tuples (f, cs, doc), apply in turn f pkg (cs, doc) extra_args.