publish: Intermediate HTML pages document if in use