diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2016-09-18 09:30:02 +0200 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2016-09-18 09:30:02 +0200 |
| commit | 9295e97fa6bc1929ba6745ab17eeb28a451149b3 (patch) | |
| tree | 483ca1a8f8002b272d8ab36c1e75a9006c4101db | |
| parent | 844854bb5d14421125fe223bc2488262493f7f7b (diff) | |
| download | eumel-9295e97fa6bc1929ba6745ab17eeb28a451149b3.tar.gz eumel-9295e97fa6bc1929ba6745ab17eeb28a451149b3.tar.bz2 eumel-9295e97fa6bc1929ba6745ab17eeb28a451149b3.zip | |
formatRefs: Fix page numbers
This time for real.
| -rwxr-xr-x | tools/formatRefs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/formatRefs.py b/tools/formatRefs.py index 2cd2f9a..303de05 100755 --- a/tools/formatRefs.py +++ b/tools/formatRefs.py @@ -56,7 +56,7 @@ def formatParent (s, g, n, useName = True): if start: try: num = int (end)-int (start) - except ValueError: + except (ValueError, TypeError): num = 1 if end and num >= 1: ret.append ('pp. {}–{}'.format (start, end)) |