diff options
author | jaseg <git@jaseg.de> | 2021-09-29 13:46:56 +0200 |
---|---|---|
committer | jaseg <git@jaseg.de> | 2021-09-29 13:46:56 +0200 |
commit | c6fc46736d2e41466a52307ca748d7bed0597854 (patch) | |
tree | f71151f4a0b2de8b8626d46fa0fdeecfc2092279 /paper/diffinator.py | |
parent | 427881c7c570b2694c7f82d4fc29753f15385833 (diff) | |
download | ihsm-c6fc46736d2e41466a52307ca748d7bed0597854.tar.gz ihsm-c6fc46736d2e41466a52307ca748d7bed0597854.tar.bz2 ihsm-c6fc46736d2e41466a52307ca748d7bed0597854.zip |
Cosmetic changes
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) |