Commit ba8c2d92 authored by Georg Brandl's avatar Georg Brandl

Bug #1451341: find fuzzy marks correctly.

parent 7fcb2f51
...@@ -127,7 +127,7 @@ def make(filename, outfile): ...@@ -127,7 +127,7 @@ def make(filename, outfile):
section = None section = None
fuzzy = 0 fuzzy = 0
# Record a fuzzy mark # Record a fuzzy mark
if l[:2] == '#,' and l.find('fuzzy'): if l[:2] == '#,' and 'fuzzy' in l:
fuzzy = 1 fuzzy = 1
# Skip comments # Skip comments
if l[0] == '#': if l[0] == '#':
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment