remove generated html doc relic from old docbook initial doc