Index quick fix.

This commit is contained in:
Georg Brandl 2008-08-17 21:54:32 +00:00
parent 37da4a20ed
commit e6739efa3c

View File

@ -181,7 +181,7 @@ def index_directive(name, arguments, options, content, lineno,
if entry.startswith(type+':'): if entry.startswith(type+':'):
value = entry[len(type)+1:].strip() value = entry[len(type)+1:].strip()
value = pairindextypes[type] + '; ' + value value = pairindextypes[type] + '; ' + value
ne.append((type, value, targetid, value)) ne.append(('pair', value, targetid, value))
break break
else: else:
for type in indextypes: for type in indextypes: