Skip to content

doc build-related fixes

Bitbucket Importer requested to merge bitbucket/merged-pr-136 into branch/unified

Created originally on Bitbucket by frantony (Antony Pavlov)

Was already merged in Bitbucket before import, marked as merged by the import user

Source changeset not longer availableat the time of import. Commit listwill look empty

There is no error checking during 'make docs'. This pull request partly fixes the problem.

Also some doc/mkdoc*.py factorization is made.

Merge request reports