removed html files generated from docbook