From f13b4e800a55e7a4a991456c32daf4190360b148 Mon Sep 17 00:00:00 2001
From: Robin Roth <robinro@gmail.com>
Date: Sat, 28 Oct 2017 14:14:44 +0200
Subject: [PATCH] Install docopt for dev setup

---
 setup.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setup.py b/setup.py
index 21db855a..72df7c53 100755
--- a/setup.py
+++ b/setup.py
@@ -31,6 +31,7 @@ setup(name='jedi',
       long_description=readme,
       packages=find_packages(exclude=['test']),
       install_requires=install_requires,
+      extras_require={'dev': ['docopt']},
       package_data={'jedi': ['evaluate/compiled/fake/*.pym']},
       platforms=['any'],
       classifiers=[