X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=Makefile;h=570d4c70e9efd42a83940fd7e2ec4943d79560cf;hp=5792d756e3ce76c54cb8f870f83b16f76c1df29a;hb=1fad076b97ffee3c0507d3fcc4e845185a03483c;hpb=8f0ff8d62835c0dc1be10ade261dba276959fc4a diff --git a/Makefile b/Makefile index 5792d75..570d4c7 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 $@ $^ @@ -36,7 +36,7 @@ gapil.ps: gapil.dvi install: scp -r gapil.p* piccardi@firenze.linux.it:public_html/gapil scp -r gapil/* piccardi@firenze.linux.it:public_html/gapil/html - + scp html/*.html piccardi@firenze.linux.it:public_html/gapil/ clean: rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \ *.pdf *.out *.idx *~