chiark / gitweb /
doc/syntax.tex: Fix source formatting.