Aggiunte sessioni

[gapil.git] / Makefile

diff --git a/Makefile b/Makefile
index 3ce18629b987c83fa981776a006251a867a8363c..3a268c2a55fe7259b800e67ca43ab2c0f0c8bee3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,30 @@
-html:
-       latex2html -local_icons main.tex
+SOURCE_IMG = $(wildcard img/*.dia)
+EPS_IMG = $(SOURCE_IMG:.dia=.eps)
+PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
 
-dvi: 
-       latex main.tex
+all: $(PDF_IMG) htm
 
-ps: 
-       dvips -o gapil.ps main.dvi
+$(PDF_IMG): %.pdf: %.eps
+       epstopdf $< --outfile=$@
+$(EPS_IMG): %.eps : %.dia
+       dia -e $@ $< 
 
-all: html dvi ps
+htm: *.tex
+       latex2html -local_icons -no_math -no_footnode gapil.tex
+
+gapil.dvi:  *.tex
+       latex gapil.tex
+
+gapil.pdf:  *.tex
+       pdflatex gapil.tex
+
+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
\ No newline at end of file
+       rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \
+       *.pdf  *.out *.idx *~
+