(TXT) Makefile.txt
 (TXT) footer.js.txt
 (TXT) header.js.txt
 (TXT) html-l.l.txt
 (TXT) index.html-l.txt
 (TXT) index.scan.txt
 (TXT) scan.l.txt
 (TXT) style.css.txt