From d34e0d693aad24483caafaf540b162323dd0ba21 Mon Sep 17 00:00:00 2001
From: Simone Piccardi <piccardi@gnulinux.it>
Date: Sat, 30 Nov 2002 14:09:30 +0000
Subject: [PATCH] Opzione --nosplash di dia per usare make anche senza X

---
 ChangeLog | 6 ++++++
 Makefile  | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 57a102f..420a6a7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2002-11-27  Simone Piccardi  <piccardi@firenze.linux.it>
+
+	* filestd.tex: Correzioni e suggerimenti da D. Masini
+
+	* fileunix.tex: Correzioni e suggerimenti da D. Masini
+
 2002-11-24  Simone Piccardi  <piccardi@gont.earthsea.ea>
 
 	* filedir.tex Correzioni varie da D. Masini
diff --git a/Makefile b/Makefile
index 5792d75..21e5740 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ $(PS_IMG): %.ps : %.eps
 	eps2eps $< $@ 
 
 $(EPS_IMG): %.eps : %.dia
-	dia -e $@ $< 
+	dia --nosplash -e $@ $< 
 
 gapil.tgz: $(SOURCE) sources/Makefile
 	tar -cvz -f $@ $^
-- 
2.30.2