diff options
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' |