1 files changed, 22 insertions, 0 deletions
diff --git a/lib/sbin/ConvertFigures b/lib/sbin/ConvertFigures
new file mode 100755
index 00000000..73dadbee
--- /dev/null
+++ b/lib/sbin/ConvertFigures
@@ -0,0 +1,22 @@
+#! /bin/sh
+
+if [ ! -n "$1" ]
+then
+  figpath="."
+else
+ figpath=$1
+fi
+
+files=`find ${figpath} -type f -name "*.pdf"`
+
+if [ -n "${files}" ]; then
+  echo "  Converting figures to postscript"
+fi
+
+for i in $files; do
+  psfilename=`echo $i | sed s/.pdf$/.ps/`
+  if [ "$i" != "documentation.pdf" ] && [ ! -e $psfilename ]; then
+    echo "   " `basename $i` " -> " `basename $psfilename`
+    pdf2ps $i $psfilename
+  fi
+done
+\ No newline at end of file