Convert $${python} placeholder for graphic conversions

diff --git a/src/graphics/GraphicsConverter.cpp b/src/graphics/GraphicsConverter.cpp
index 669f08d2ff321c1781c808faccb8c4415732083c..34d37a406604c0840d14a12d31f54362e2565e07 100644 (file)
--- a/src/graphics/GraphicsConverter.cpp
+++ b/src/graphics/GraphicsConverter.cpp
@@ -362,6 +362,7 @@ static void build_script(string const & doc_fname,
        string const token_base  = "$$b";
        string const token_to    = "$$o";
        string const token_todir = "$$d";
+       string const token_python = "$${python}";
 
        EdgePath::const_iterator it  = edgepath.begin();
        EdgePath::const_iterator end = edgepath.end();
@@ -405,6 +406,7 @@ static void build_script(string const & doc_fname,
                command = subst(command, token_base,  "' + '\"' + infile_base + '\"' + '");
                command = subst(command, token_to,    "' + '\"' + outfile + '\"' + '");
                command = subst(command, token_todir, "' + '\"' + outdir + '\"' + '");
+               command = subst(command, token_python, os::python());
 
                build_conversion_command(command, script);
        }