chiark / gitweb /
doc/sod.tex: Spruce up the index handling.