This PR adds tools to build and deploy a documentation of the package.
added 1 commit
Compare with previous version
merged
mentioned in commit f07b6b1c