pldoc_man:man_content

man_content_tree(+Dir, -Tree) is det: Compute the content tree for a multi-file HTML document. We do this by processing Contents.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.