replace long with short option in dia call, supposedly fixes #1516723

diff --git a/share/extensions/dia2svg.sh b/share/extensions/dia2svg.sh
index 48403d0b583376c45ad214955562480a6100d188..0e3155f590d6bd1978343a7c6d04d53d183fc65e 100755 (executable)
--- a/share/extensions/dia2svg.sh
+++ b/share/extensions/dia2svg.sh
@@ -4,9 +4,10 @@ rc=0
 
 # dia version 0.93 (the only version I've tested) allows `--export=-', but then
 # ruins it by writing other cruft to stdout.  So we'll have to use a temp file.
+# dia 0.95 removes --export-to-format but still allows -t.
 TMPDIR="${TMPDIR-/tmp}"
 TEMPFILENAME=`mktemp 2>/dev/null || echo "$TMPDIR/tmpdia$$.svg"`
-dia -n --export="${TEMPFILENAME}" --export-to-format=svg "$1" > /dev/null 2>&1 || rc=1
+dia -n --export="${TEMPFILENAME}" -t svg "$1" > /dev/null 2>&1 || rc=1
 
 cat < "${TEMPFILENAME}" || rc=1
 rm -f "${TEMPFILENAME}"