diff options
-rw-r--r-- | ignore/src/types.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ignore/src/types.rs b/ignore/src/types.rs index d7a1fc74..7272611a 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"]), |