aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-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: