X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=Makefile;h=19259790b51be618ce2caa7ce28f20414fb1ca7e;hp=e50363e12d822ef84e0033858680f566ed1de852;hb=32564231c62ef917086f71a223a1847c859edf0e;hpb=f34bc210398c21e197ec81dc2acc1798330431fb

diff --git a/Makefile b/Makefile
index e50363e..1925979 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,20 @@
+SOURCE_IMG = $(wildcard img/*.dia)
+PS_IMG = $(SOURCE_IMG:.dia=.ps)
+EPS_IMG = $(SOURCE_IMG:.dia=.eps)
+PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
 
-html: *.tex
+all: $(PDF_IMG) htm
+
+$(PDF_IMG): %.pdf: %.ps
+	epstopdf $< --outfile=$@
+
+$(PS_IMG): %.ps : %.eps
+	eps2eps $< $@ 
+
+$(EPS_IMG): %.eps : %.dia
+	dia -e $@ $< 
+
+htm: *.tex
 	latex2html -local_icons -no_math -no_footnode gapil.tex
 
 gapil.dvi:  *.tex
@@ -12,7 +27,8 @@ gapil.ps: gapil.dvi
 	dvips -o gapil.ps gapil.dvi
 
 install:
-	scp -r gapil*  piccardi@firenze.linux.it:public_html
+	scp -r gapil.p*  piccardi@firenze.linux.it:public_html/gapil
+	scp -r gapil/*  piccardi@firenze.linux.it:public_html/gapil/html
 
 clean: 
 	rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \