commit 2ba8705435016349678aee9c1d680984f3706b0e
Author: Georg Baum <[email protected]>
Date: Sun Jun 5 13:28:06 2016 +0200
Fix svgz output path
In the old script the output path given on the command line was ignored,
because of teh way how dvisgm expects commandline options.
diff --git a/development/tools/generate_symbols_images.py
b/development/tools/generate_symbols_images.py
index effb7dd..91d685c 100755
--- a/development/tools/generate_symbols_images.py
+++ b/development/tools/generate_symbols_images.py
@@ -158,7 +158,7 @@ def createimage(name, path, template, lyxexe, tempdir,
math, replacements, toolb
if usepng:
cmd = "dvipng %s.dvi -bg Transparent -D 115 -o %s" % (lyxname, imgname)
else:
- cmd = "dvisvgm -z --no-fonts --exact --output=%%f %s.dvi %s" %
(lyxname, imgname)
+ cmd = "dvisvgm -z --no-fonts --exact --output=%s%s%%f %s.dvi" % (path,
os.path.sep, lyxname)
proc = subprocess.Popen(cmd, shell=True)
proc.wait()
if proc.returncode != 0: