summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/highlight.py7
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/highlight.py b/tools/highlight.py
index ecdb49e..224d2d9 100755
--- a/tools/highlight.py
+++ b/tools/highlight.py
@@ -33,7 +33,6 @@ if __name__ == '__main__':
destdir = '_build'
f = sys.argv[1]
- print (f)
basedir = os.path.dirname (f)
basedestdir = os.path.join (destdir, basedir)
@@ -44,10 +43,12 @@ if __name__ == '__main__':
try:
with open (f, 'r') as srcfd:
code = srcfd.read ()
- except UnicodeDecodeError:
- # that’s fine
+ except UnicodeDecodeError as e:
+ # that’s expected for data files
+ print ('skipping', f, e)
sys.exit (0)
+ print (f)
lexer = get_lexer_by_name("elan", stripall=True)
formatter = HtmlFormatter (linenos=True, lineanchors='line', anchorlinenos=True)
with open (destf, 'w') as destfd: