docs-build

docs/docsite/ の make singlehtmldocs が、エラーなしで完了するかどうかを検証します。