From 08b83df5234027f1f0a7aadd097011c15767cee8 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 9 Jul 2018 13:08:20 +0100
Subject: [PATCH] .gitignore: Ignore `makeindex' debris.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.11.0