aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlloyd <[email protected]>2010-09-03 13:50:31 +0000
committerlloyd <[email protected]>2010-09-03 13:50:31 +0000
commitc4f36e11b7ca92112fefc5690c072b127e05b9dc (patch)
tree1fb0f1be21c383289f72cc514a6ae9d13582daab
parent09808b9d8d168428918fe6bf129f80d549409909 (diff)
Fix dependency update scripts
-rwxr-xr-xdoc/scripts/print_deps.py2
-rwxr-xr-xdoc/scripts/update_deps.py2
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: