diff options
Diffstat (limited to 'default.svg.do')
| -rw-r--r-- | default.svg.do | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.svg.do b/default.svg.do index 5fc067e..403fd2d 100644 --- a/default.svg.do +++ b/default.svg.do | |||
| @@ -18,3 +18,4 @@ EOF | |||
| 18 | popd | 18 | popd |
| 19 | 19 | ||
| 20 | dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align | 20 | dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align |
| 21 | rm -rf $TDIR \ No newline at end of file | ||
