Always generate all HTML pages (fix #11)