When an SGML doc "foo" is built as HTML, touch "foo.html", so that the
build system can tell it has been built.