X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=Makefile;h=3a268c2a55fe7259b800e67ca43ab2c0f0c8bee3;hp=988431ec6b5723b2dfe0169c2a0583109c63cfd9;hb=8709795cc47d95b76fb055211d8b856c06d9c4e0;hpb=e323f7e103dac7a264d3ef335d23540719df2623 diff --git a/Makefile b/Makefile index 988431e..3a268c2 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,30 @@ +SOURCE_IMG = $(wildcard img/*.dia) +EPS_IMG = $(SOURCE_IMG:.dia=.eps) +PDF_IMG = $(SOURCE_IMG:.dia=.pdf) +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 + 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 \ No newline at end of file + rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \ + *.pdf *.out *.idx *~ +