Aggiunte sessioni

[gapil.git] / Makefile

diff --git a/Makefile b/Makefile
index e50363e12d822ef84e0033858680f566ed1de852..3a268c2a55fe7259b800e67ca43ab2c0f0c8bee3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,15 @@
+SOURCE_IMG = $(wildcard img/*.dia)
+EPS_IMG = $(SOURCE_IMG:.dia=.eps)
+PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
 
-html: *.tex
+all: $(PDF_IMG) htm
+
+$(PDF_IMG): %.pdf: %.eps
+       epstopdf $< --outfile=$@
+$(EPS_IMG): %.eps : %.dia
+       dia -e $@ $< 
+
+htm: *.tex
        latex2html -local_icons -no_math -no_footnode gapil.tex
 
 gapil.dvi:  *.tex