diff options
Diffstat (limited to 'Doc/tools')
-rwxr-xr-x | Doc/tools/buildindex.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Doc/tools/buildindex.py b/Doc/tools/buildindex.py index e282f3c..1d50825 100755 --- a/Doc/tools/buildindex.py +++ b/Doc/tools/buildindex.py @@ -116,14 +116,14 @@ def load(fp): return nodes -# ignore $ to keep environment variables with the leading letter from the name -SKIP_LETTERS = "$" - def trim_ignored_letters(s): + # ignore $ to keep environment variables with the + # leading letter from the name s = string.lower(s) - while s[0] in SKIP_LETTERS: - s = s[1:] - return s + if s[0] == "$": + return s[1:] + else: + return s def get_first_letter(s): return string.lower(trim_ignored_letters(s)[0]) |