X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=Makefile;h=3a268c2a55fe7259b800e67ca43ab2c0f0c8bee3;hp=aa05f50955ac9cc9428f399029154e601e5dc913;hb=8709795cc47d95b76fb055211d8b856c06d9c4e0;hpb=b03f3481edf22386feccf6e0fc72951d771b1b88 diff --git a/Makefile b/Makefile index aa05f50..3a268c2 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +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 *~ +