diff --git a/development/tools/generate_symbols_list.py b/development/tools/generate_symbols_list.py index 5b2963ddab..ccdfe37454 100755 --- a/development/tools/generate_symbols_list.py +++ b/development/tools/generate_symbols_list.py @@ -44,7 +44,7 @@ def process(file): n = len(lines) for i in range(n): line = lines[i] - mo = re.match(r'\s*%.*', line) + mo = re.match(r'\s*%.*', line) if mo != None: continue next_line = "" diff --git a/development/tools/unicodesymbols.py b/development/tools/unicodesymbols.py index b67364baa1..d507f4a681 100755 --- a/development/tools/unicodesymbols.py +++ b/development/tools/unicodesymbols.py @@ -1,7 +1,7 @@ #! /usr/bin/python3 # -*- coding: utf-8 -*- -# file unciodesymbols.py +# file unicodesymbols.py # This file is part of LyX, the document processor. # Licence details can be found in the file COPYING. @@ -16,6 +16,7 @@ from __future__ import print_function import os, re, string, sys, unicodedata import io + def usage(prog_name): return ("Usage: %s start stop inputfile outputfile\n" % prog_name + "or %s start stop outputfile" % prog_name)