diff options
| -rwxr-xr-x | doc/scripts/print_deps.py | 2 | ||||
| -rwxr-xr-x | doc/scripts/update_deps.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/scripts/print_deps.py b/doc/scripts/print_deps.py index b92c43310..c68fa2617 100755 --- a/doc/scripts/print_deps.py +++ b/doc/scripts/print_deps.py @@ -20,7 +20,7 @@ def find_deps_in(filename): for line in open(filename).readlines(): match = regexp.match(line) if match != None: - yield match.group(1) + yield match.group(1).replace('internal/', '') def get_dependencies(dirname): all_dirdeps = {} diff --git a/doc/scripts/update_deps.py b/doc/scripts/update_deps.py index 61aa887cc..ac19885e0 100755 --- a/doc/scripts/update_deps.py +++ b/doc/scripts/update_deps.py @@ -14,7 +14,7 @@ def update_requires(dir, deps): while lines.pop(start) != '</requires>': pass - while lines[-1] == '': + while len(lines) > 0 and lines[-1] == '': lines = lines[:-1] if len(deps) > 0: |