chiark / gitweb /
doc/parsing.tex: Fix awful inconsistency in indentation.