4 @echo '[*] Generating $@'
5 @pdflatex $< >/dev/null
6 @pdflatex $< >/dev/null
7 @pdflatex $< >/dev/null
10 @echo '[*] Generating $@'
15 HTLATEX_OPTIONS = "html"
17 %.html: %.tex Makefile
18 @echo '[*] Generating $@'
19 @htlatex $< "${HTLATEX_OPTIONS}" >/dev/null
22 @echo '[*] Generating $@'
23 @links -dump -width 85 $< | sed -e 's/\s\+$$//' > $@
26 @echo '[*] Deleting generated documentation files'
27 @$(RM) *.{4ct,4tc,aux,dvi,idv,lg,log,out,pdf,tmp,toc,xml,xref}