doc: generating html