From fb4a1ece9397b5063ff0920df17389aba882d328 Mon Sep 17 00:00:00 2001
From: Simone Piccardi <piccardi@gnulinux.it>
Date: Mon, 25 Feb 2002 16:53:03 +0000
Subject: [PATCH] Aggiunta la shell di Alessio per generare le figure.

---
 geneimg.sh | 8 ++++++++
 signal.tex | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 geneimg.sh

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}
 
 
 
-- 
2.30.2