diff options
Diffstat (limited to 'hacking')
| -rwxr-xr-x | hacking/module_formatter.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hacking/module_formatter.py b/hacking/module_formatter.py index 6a28be16f8..217d325f17 100755 --- a/hacking/module_formatter.py +++ b/hacking/module_formatter.py @@ -283,7 +283,8 @@ def main(): fname = os.path.join(options.module_dir, module) extra = os.path.join("inc", "%s.tex" % module) - if fname.endswith(".swp"): + # probably could just throw out everything with extensions + if fname.endswith(".swp") or fname.endswith(".orig") or fname.endswith(".rej"): continue print " processing module source ---> %s" % fname |