extended options for build_doc.sh -- useful for debugging
yet another conformance fix in runner