Trying out having htmldocs as part of source distribution, with index.html file in root redirecting to it, so that the master and gh-pages branches can mirror each other
pushing .nojekyll file
docs should be sorted now
full help build is not make pre-commit - docs/build_help.sh is thus no longer needed