Fix the manual so it builds properly again, in light of syntax changes.
tree82bc48a1b39ded826414bda31541bb736e46410a
-rw-r--r-- 39 .gitignore
-rw-r--r-- 1483 LICENSE
-rw-r--r-- 733 Makefile
-rw-r--r-- 1681 README
-rw-r--r-- 2263 ReleaseNotes
-rw-r--r-- 1566 TODO
drwxr-xr-x - compiler
drwxr-xr-x - docs
drwxr-xr-x - lang_ext
drwxr-xr-x - runtime
drwxr-xr-x - sketches
-rwxr-xr-x 1694 stats.sh
drwxr-xr-x - tests
drwxr-xr-x - utilities