Correzioni e aggiunte secondo le indicazioni di D. Masini, terza e
[gapil.git] / Makefile
1 SOURCE_IMG = $(wildcard img/*.dia)
2 PS_IMG = $(SOURCE_IMG:.dia=.ps)
3 EPS_IMG = $(SOURCE_IMG:.dia=.eps)
4 PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
5 SOURCE =  $(wildcard sources/*.c) $(wildcard sources/*.h) sources/Makefile
6
7 all: $(PDF_IMG) gapil.tgz htm 
8
9 $(PDF_IMG): %.pdf: %.ps
10         epstopdf $< --outfile=$@
11
12 $(PS_IMG): %.ps : %.eps
13         eps2eps $< $@ 
14
15 $(EPS_IMG): %.eps : %.dia
16         dia -e $@ $< 
17
18 gapil.tgz: $(SOURCE) sources/Makefile
19         tar -cvz -f $@ $^
20
21 htm: *.tex
22         latex2html -local_icons -no_math -no_footnode gapil.tex
23         scp -r gapil/* piccardi@firenze.linux.it:public_html/gapil/html
24         scp gapil.p* piccardi@firenze.linux.it:public_html/gapil/
25
26 gapil.dvi:  *.tex
27         latex gapil.tex
28
29 gapil.pdf:  *.tex
30         pdflatex gapil.tex
31
32 gapil.ps: gapil.dvi 
33         dvips -o gapil.ps gapil.dvi
34
35 install:
36         scp -r gapil.p*  piccardi@firenze.linux.it:public_html/gapil
37         scp -r gapil/*  piccardi@firenze.linux.it:public_html/gapil/html
38
39 clean: 
40         rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \
41         *.pdf  *.out *.idx *~
42