fetch docopt.py from autocmake repo

2015-09-08 17:14:27 +02:00
parent 21ce8b8810
commit 707072615a
3 changed files with 605 additions and 1 deletions
--- a/update.py
+++ b/update.py
@ -351,7 +351,7 @@ def main(argv):
        )
        print('- fetching lib/docopt.py')
        fetch_url(
-            src='https://github.com/docopt/docopt/raw/master/docopt.py',
+            src='%s/raw/master/lib/docopt/docopt.py' % AUTOCMAKE_GITHUB_URL,
            dst='lib/docopt.py'
        )
        print('- fetching update.py')