Finalize first version of documentation and generate HTML files