Aggiunta la shell di Alessio per generare le figure.

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

diff --git a/signal.tex b/signal.tex
index 38c3d58f76cb163781fbb353435bb99ce9e3dc02..ce3ee76d17b9cbf588100df95000d75432b363d0 100644 (file)
--- 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}