doc/Makefile

   1 SOURCE = manual
   2
   3 all: $(SOURCE).pdf $(SOURCE).txt $(SOURCE).html
   4
   5 PNG_FIGS = $(wildcard *.png)
   6 PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
   7
   8 %.pdf: %.png
   9         convert $< -density 150 $@
  10
  11 %.pdf: %.texinfo $(PDF_FIGS)
  12         texi2pdf $<
  13
  14 %.txt: %.texinfo
  15         makeinfo --no-headers --force -o $@ $<
  16
  17 %.html: %.texinfo
  18         texi2html --l2h $<
  19
  20 clean:
  21         rm -f $(SOURCE).{aux,cp,cps,fn,ky,log,pg,toc,tp,vr,vrs} $(PDF_FIGS)