diff options
author | Steffen Banhardt <github@steffenbanhardt.de> | 2019-01-31 15:06:19 +0100 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2019-01-31 09:06:19 -0500 |
commit | 147e96914c5e0dfa9d626d928be4d9c65869b2a0 (patch) | |
tree | 31326792b39c6db9b2fd0d62faeef8ab37586fb2 | |
parent | 0abc40c23cbe7c0d39549975bf86cec6a7c6ef05 (diff) |
ignore/types: *.dtx and *.ins added for tex
PR #1182
-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"]), |