cockpit-project/cockpit — pull request #677 by cgwalters (2014-06-11 19:03:23+00:00)
Title: web: Add a "do not edit" header to generated HTML files

A potential Cockpit contributor was editing the index.html in the
toplevel, instead of the actual sources in src/web. Add a warning
which should help prevent that.