resolves #1333: documentation for build of documentation