Link to TTL SYNTAX section
Rework Makefile

No longer use build_html script; use cat and sed instead.

Adjust script so it's a bit more make-ish.

Abandon effort to have this work with both GNU and BSD make. It's
truly insane. Just require GNU make and be done with it.