share/extensions/fig2svg.sh

   1 #! /bin/sh
   2 rc=0
   3 TMPDIR="${TMPDIR-/tmp}"
   4 TEMPFILENAME=`mktemp 2>/dev/null || echo "$TMPDIR/tmp-fig$$.svg"`
   5
   6 fig2dev -L svg "$1" "${TEMPFILENAME}" > /dev/null 2>&1 || rc=1
   7
   8 cat < "${TEMPFILENAME}" || rc=1
   9 rm -f "${TEMPFILENAME}"
  10 exit $rc