Figure per il deadlock, e programma di prova per il file locking

[gapil.git] / Makefile

diff --git a/Makefile b/Makefile
index e50363e12d822ef84e0033858680f566ed1de852..19259790b51be618ce2caa7ce28f20414fb1ca7e 100644 (file)
--- 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 \