tree 9e0419498dccf52ac72ee5799cfd62cfb0ee641f
parent 1bfd6551c9d1b9e3e0f2d04bbbc636ef33e4a2fd
author Paul Jakma <paul@jakma.org> 1489020884 +0000
committer Paul Jakma <paul@quagga.net> 1489082636 +0000

doc: Clean the tex index files up