Removed html files generated by docbook. They are generated during the release process