Module BaseDoc

module BaseDoc: sig .. end
Build documentation
Author(s): Sylvain Le Gall

val doc : ctxt:OASISContext.t ->
((ctxt:OASISContext.t ->
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.