From 147e96914c5e0dfa9d626d928be4d9c65869b2a0 Mon Sep 17 00:00:00 2001
From: Steffen Banhardt <github@steffenbanhardt.de>
Date: Thu, 31 Jan 2019 15:06:19 +0100
Subject: [PATCH] ignore/types: *.dtx and *.ins added for tex

PR #1182
---
 ignore/src/types.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ignore/src/types.rs b/ignore/src/types.rs
index d7a1fc7..7272611 100644
--- a/ignore/src/types.rs
+++ b/ignore/src/types.rs
@@ -283,7 +283,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[
     ]),
     ("taskpaper", &["*.taskpaper"]),
     ("tcl", &["*.tcl"]),
-    ("tex", &["*.tex", "*.ltx", "*.cls", "*.sty", "*.bib"]),
+    ("tex", &["*.tex", "*.ltx", "*.cls", "*.sty", "*.bib", "*.dtx", "*.ins"]),
     ("textile", &["*.textile"]),
     ("thrift", &["*.thrift"]),
     ("tf", &["*.tf"]),