Aggiunta la shell di Alessio per generare le figure.

[gapil.git] / geneimg.sh

diff --git a/geneimg.sh b/geneimg.sh
new file mode 100644 (file)
index 0000000..b648322
--- /dev/null
+++ b/geneimg.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+# Contributo di A. Frusciante
+for i in img/*dia
+do
+j=`basename $i .dia`
+dia -e img/$j.eps $i
+epstopdf  img/$j.eps --outfile=img/$j.pdf
+done