diff options
author | lloyd <[email protected]> | 2010-09-03 13:50:31 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2010-09-03 13:50:31 +0000 |
commit | c4f36e11b7ca92112fefc5690c072b127e05b9dc (patch) | |
tree | 1fb0f1be21c383289f72cc514a6ae9d13582daab /doc | |
parent | 09808b9d8d168428918fe6bf129f80d549409909 (diff) |
Fix dependency update scripts
Diffstat (limited to 'doc')
-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: |