X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=Makefile;h=3a268c2a55fe7259b800e67ca43ab2c0f0c8bee3;hp=e50363e12d822ef84e0033858680f566ed1de852;hb=c1b22636d04ef04d31842b40878c83fa63ebe739;hpb=821b1a2b909563f88f95a7fc7caaeda0acb4e602 diff --git a/Makefile b/Makefile index e50363e..3a268c2 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,15 @@ +SOURCE_IMG = $(wildcard img/*.dia) +EPS_IMG = $(SOURCE_IMG:.dia=.eps) +PDF_IMG = $(SOURCE_IMG:.dia=.pdf) -html: *.tex +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