From 83867c78935460f727831b54e390c5be30bb4eee Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Mon, 9 Dec 2019 13:59:07 +0100
Subject: need to import sys

---
 src/python/doc/python3-sphinx-build.py | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/python/doc')

diff --git a/src/python/doc/python3-sphinx-build.py b/src/python/doc/python3-sphinx-build.py
index 5dc26fd2..3628e89e 100755
--- a/src/python/doc/python3-sphinx-build.py
+++ b/src/python/doc/python3-sphinx-build.py
@@ -4,9 +4,8 @@
 Emulate sphinx-build for python3
 """
 
-from sys import exit, argv
-import sys
-print(sys.executable)
+from sys import exit, argv, executable
+print(executable)
 import sphinx
 from sphinx import main
 
-- 
cgit v1.2.3