summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2017-03-05 12:31:32 +0100
committerLars-Dominik Braun <lars@6xq.net>2017-03-05 12:31:32 +0100
commit0e405bf566b25eab7da27f90c73d6fb49f672882 (patch)
tree50dc5a2053f3af71411e29350f8267b637443edb /tools
parent542486ec2d2b91b1b8e798d1a27fe7a2bf4cb4fa (diff)
downloadeumel-0e405bf566b25eab7da27f90c73d6fb49f672882.tar.gz
eumel-0e405bf566b25eab7da27f90c73d6fb49f672882.tar.bz2
eumel-0e405bf566b25eab7da27f90c73d6fb49f672882.zip
Add more scanned documents
Diffstat (limited to 'tools')
-rwxr-xr-xtools/formatRefs.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/formatRefs.py b/tools/formatRefs.py
index 31e458a..123ba47 100755
--- a/tools/formatRefs.py
+++ b/tools/formatRefs.py
@@ -127,7 +127,7 @@ if __name__ == '__main__':
assert len (t) == 1
t = t[0]
- # object _must_ have a name
+ # object should have a name
what = first (g.objects (ref, s.name))
# look for people who wrote/translated/edited it
@@ -162,7 +162,8 @@ if __name__ == '__main__':
if who:
ret += ' {}:'.format (who)
- ret += ' *{}*.'.format (what)
+ if what:
+ ret += ' *{}*.'.format (what)
if where:
ret += ' {}.'.format (', '.join (where))