Preparing 7.19.3.1 release
Stop keeping generated html documentation in the source tree
Construct the website in build directory