From: Simone Piccardi <piccardi@gnulinux.it>
Date: Mon, 25 Feb 2002 16:53:03 +0000 (+0000)
Subject: Aggiunta la shell di Alessio per generare le figure.
X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=commitdiff_plain;h=fb4a1ece9397b5063ff0920df17389aba882d328

Aggiunta la shell di Alessio per generare le figure.
---

diff --git a/geneimg.sh b/geneimg.sh
new file mode 100644
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
diff --git a/signal.tex b/signal.tex
index 38c3d58..ce3ee76 100644
--- a/signal.tex
+++ b/signal.tex
@@ -892,7 +892,7 @@ installare l'azione di di default\footnote{si ricordi per
 \label{sec:sig_kill_raise}
 
 \subsection{Le funzioni \func{alarm} e \func{pause}}
-\label{sec:sig_kill_raise}
+\label{sec:sig_alarm_pause}