chiark / gitweb /
doc/syntax.tex: Replace `listing' environments with `prog'.