html builder: add missing "done" output

This commit is contained in:
Georg Brandl
2014-01-11 19:54:58 +01:00
parent 453290fc66
commit 8d2715ebd9

View File

@@ -620,6 +620,7 @@ class StandaloneHTMLBuilder(Builder):
self.warn('html_extra_path entry %r does not exist' % entry)
continue
copy_static_entry(entry, self.outdir, self)
self.info('done')
def write_buildinfo(self):
# write build info file