From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 9 Jul 2018 12:08:20 +0000 (+0100)
Subject: .gitignore: Ignore `makeindex' debris.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/08b83df5234027f1f0a7aadd097011c15767cee8?ds=inline

.gitignore: Ignore `makeindex' debris.
---

diff --git a/.gitignore b/.gitignore
index 7460dbb..3c673e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 *.aux
 *.ind
 *.idx
+*.ilg
 *.bbl
 *.blg
 _region_.tex