Hey, you!  Yeah, you with the editor!  Don't touch that file!

Don't edit files here.  Edit files in the html subdirectory.  Then "make all".
If you aren't editing files, well, ignore this.
