1 files changed, 1 insertions, 1 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 = {}