Cosmetic changes

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)