Revert "configure.py: fix bug #11053"

This reverts commit 151ee98e3b886bc95fc072c7401270658f0bff6e.

diff --git a/lib/configure.py b/lib/configure.py
index 54c75038043e614837fbbd9da115a6c04f03c891..23ec3c82dc43660ae8b6efeeae4b48b1e0601d44 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -1772,7 +1772,7 @@ def rescanTeXFiles():
     interpreter = sys.executable
     if interpreter == '':
         interpreter = "python"
-    tfp = cmdOutput('"' + interpreter + '"' + " -tt " + '"' 
+    tfp = cmdOutput(interpreter + " -tt " + '"'
                     + os.path.join(srcdir, 'scripts', 'TeXFiles.py') + '"')
     logger.info(tfp)
     logger.info("\tdone")