doc: fix pandoc HTML generation