Bug #1451341: find fuzzy marks correctly.

This commit is contained in:
Georg Brandl 2006-04-06 06:44:33 +00:00
parent 70d044ba67
commit d9da722d85
1 changed files with 1 additions and 1 deletions

View File

@ -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] == '#':