Opzione --nosplash di dia per usare make anche senza X
authorSimone Piccardi <piccardi@gnulinux.it>
Sat, 30 Nov 2002 14:09:30 +0000 (14:09 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Sat, 30 Nov 2002 14:09:30 +0000 (14:09 +0000)
ChangeLog
Makefile

index 57a102f..420a6a7 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
index 5792d75..21e5740 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 $@ $^