After switch to mkdocs for https://utplsql.org site, we need to update the build process to generate documentation automatically in correct format.