HomeIsabelle/Phabricator

clarified build_doc, based on Present.build_documents;