Aggiunte sessioni

[gapil.git] / Makefile

diff --git a/Makefile b/Makefile
index 6c01a04a78ad9cfaa438b34b46f68c6502b3efa6..3a268c2a55fe7259b800e67ca43ab2c0f0c8bee3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,20 +1,30 @@
-all: html dvi ps pdf img
+SOURCE_IMG = $(wildcard img/*.dia)
+EPS_IMG = $(SOURCE_IMG:.dia=.eps)
+PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
 
-html:
+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
 
-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
 
 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 *~