doc/gen_mp.sh

   1 #!/bin/sh
   2 #
   3 # Script to regenerate svgs from metapost
   4 #
   5 # The resulting svg images are stored in git so you need
   6 # to run the script only after you changed the metapost
   7 # source files.
   8 #
   9
  10 SRC=coordinates
  11
  12 echo "$SRC.mp -> $SRC-*.pdf"
  13 mptopdf "$SRC.mp"
  14
  15 for i in $SRC*.pdf; do
  16         SVG=`echo "$i" | sed s/.pdf/.svg/`
  17         echo "$i -> $SVG"
  18         inkscape -l "$SVG" "$i"
  19         rm "$i"
  20 done