Allow to dump a static archive with the API documentation
Merge pull request #1842 from zdenekdrahos/html-dump Dump documentation to a static HTML and YAML file
Merge pull request #1842 from zdenekdrahos/html-dump Dump documentation to a static HTML and YAML file