.gitignore: Ignore `makeindex' debris.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 9 Jul 2018 12:08:20 +0000 (13:08 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 9 Jul 2018 12:09:58 +0000 (13:09 +0100)
.gitignore

index 7460dbb..3c673e9 100644 (file)
@@ -7,6 +7,7 @@
 *.aux
 *.ind
 *.idx
+*.ilg
 *.bbl
 *.blg
 _region_.tex