diff options
| author | Chris Gavin <chris@chrisgavin.me> | 2017-04-24 23:28:36 +0100 |
|---|---|---|
| committer | Chris Gavin <chris@chrisgavin.me> | 2017-04-24 23:28:36 +0100 |
| commit | f3d815124841e3ece1b234b16c65370efe45ff3f (patch) | |
| tree | 9f44890e5525197003c0f0201492d372dffcc1a7 /scripts/make_docs.py | |
| parent | f1a06fc7598f324acee332b02b6ecc43773b7b5d (diff) | |
| download | simplejson-f3d815124841e3ece1b234b16c65370efe45ff3f.tar.gz | |
Remove unused imports.
Diffstat (limited to 'scripts/make_docs.py')
| -rwxr-xr-x | scripts/make_docs.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/make_docs.py b/scripts/make_docs.py index 0d36f98..7a1de5b 100755 --- a/scripts/make_docs.py +++ b/scripts/make_docs.py @@ -1,7 +1,6 @@ #!/usr/bin/env python import os import subprocess -import shutil SPHINX_BUILD = 'sphinx-build' |