1 files changed, 0 insertions, 41 deletions
diff --git a/doc/scripts/update_deps.py b/doc/scripts/update_deps.py
deleted file mode 100755
index ac19885e0..000000000
--- a/doc/scripts/update_deps.py
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/usr/bin/python
-
-import sys
-import re
-import os.path
-
-def update_requires(dir, deps):
-    lines = map(lambda x: x.strip(),
-                open(os.path.join(dir, 'info.txt')).readlines())
-
-    if '<requires>' in lines:
-        start = lines.index('<requires>')
-
-        while lines.pop(start) != '</requires>':
-            pass
-
-    while len(lines) > 0 and lines[-1] == '':
-        lines = lines[:-1]
-
-    if len(deps) > 0:
-        lines.append('')
-        lines.append('<requires>')
-        for dep in deps:
-            lines.append(dep)
-        lines.append('</requires>')
-        lines.append('')
-
-    lines = "\n".join(lines).replace("\n\n\n", "\n\n")
-
-    output = open(os.path.join(dir, 'info.txt'), 'w')
-    output.write(lines)
-    output.close()
-
-def main():
-    for line in sys.stdin.readlines():
-        (dirname, deps) = line.split(':')
-        deps = deps.strip().split(' ')
-        update_requires(dirname, deps)
-
-if __name__ == '__main__':
-    sys.exit(main())