diff options
Diffstat (limited to 'paper/diffinator.py')
| -rw-r--r-- | paper/diffinator.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/paper/diffinator.py b/paper/diffinator.py index a54e844..70907d5 100644 --- a/paper/diffinator.py +++ b/paper/diffinator.py @@ -1,6 +1,7 @@ #!/usr/bin/env python3 import re +import sys import subprocess import string @@ -61,8 +62,7 @@ def generate_git_tex_diff(texfile, bibliography, revision): line = line.rstrip() if document_started: # diff results in preamble - import sys - debug = 'battery' in line + debug = False #'battery' in line if debug: print('orig:', repr(line), file=sys.stderr) |