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

[gapil.git] / Makefile

diff --git a/Makefile b/Makefile
index af51df54d69ade8c51fa1ec55149360cef1d98d5..19259790b51be618ce2caa7ce28f20414fb1ca7e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,20 +1,36 @@
-all: html dvi ps pdf img
+SOURCE_IMG = $(wildcard img/*.dia)
+PS_IMG = $(SOURCE_IMG:.dia=.ps)
+EPS_IMG = $(SOURCE_IMG:.dia=.eps)
+PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
 
-html:
+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
 
-dvi: 
+gapil.dvi:  *.tex
        latex gapil.tex
 
-pdf: 
+gapil.pdf:  *.tex
        pdflatex gapil.tex
 
-ps: 
+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 *~
+       rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \
+       *.pdf  *.out *.idx *~