avoid regen of html document with dtd and stuff