Opzione --nosplash di dia per usare make anche senza X

diff --git a/ChangeLog b/ChangeLog
index 57a102f5e1acb0ce26df0d8a38d30fe90448676c..420a6a795a47c8860c77b5c37a00ac08bf5f3efd 100644 (file)
--- 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 5792d756e3ce76c54cb8f870f83b16f76c1df29a..21e5740a89fba4bf0e15ae685aa6f3fd03a3a1dc 100644 (file)
--- 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 $@ $^