X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=blobdiff_plain;f=doc%2Fpst2pdf;fp=doc%2Fpst2pdf;h=e58bfe7af61fb4cc3bed0903f0ca71feb3dc4c63;hp=0000000000000000000000000000000000000000;hb=9a99c75eb445c584062e1c24c004c7f2c5aa67c3;hpb=3eb15f58ca0911489d7d9bdc0ac2c575d27a68d8

diff --git a/doc/pst2pdf b/doc/pst2pdf
new file mode 100755
index 0000000..e58bfe7
--- /dev/null
+++ b/doc/pst2pdf
@@ -0,0 +1,22 @@
+#! /bin/bash
+# pst2pdf
+# PSTricks 2 PDF converter :
+# Usage: "pst2pdf" produces PDF files for all files of the form *-fig*.tex
+#         "pst2pdf <FILE>" only considers FILE-fig.tex
+# It removes intermediary files at the end.
+
+FILE=$1
+if test -z $FILE; then
+		FIGURES=`ls *-fig*.tex`;
+else
+		FIGURES=`ls -- $FILE-fig*.tex`;
+fi
+
+for f in $FIGURES ; do
+  fig=`basename  $f .tex`
+  latex $fig
+  dvips -Ppdf -E -o $fig.eps $fig
+  epstopdf $fig.eps 
+  rm $fig.eps $fig.dvi $fig.log $fig.aux
+done
+