
doc_man.pl -- Process SWI-Prolog HTML manuals
man_content_tree(+Dir, -Tree) is detContents.html for making the toplevel tree
that links to the individual files. Then we use
html_content_tree/2 to materialize the trees for the files.
man_packages_tree(-Tree) is detxpce subtree so
xpce classes and their members appear in the navigation tree under
Documentation -> Packages -> XPCE.
man_page(+Obj, +Options)// is semidetf(Name/Arity)
display documentation of an arithmetic functionc(Function)
display documentation of a C API functionsection(Level, Number, Id, File)
Display a section of the manualOptions:
fail, fail instead of displaying a
not-found message.false, omit the synopsis linetrue (default), include links to the parent object;
if false, just emit the manual material.true (default), display the navigation tree, otherwise
suppress it.
man_synopsis(+Object, +Section)//
man_overview(+Options)// is det
prolog:doc_object_link(+Obj, +Options)//[multifile]
prolog:doc_object_href(+Object, -HREF) is semidet[multifile]