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
20 @htlatex $< "${HTLATEX_OPTIONS}" >/dev/null
21 @htlatex $< "${HTLATEX_OPTIONS}" >/dev/null
24 @echo '[*] Generating $@'
25 @links -dump -width 85 $< | sed -e 's/\s\+$$//' > $@
28 @echo '[*] Deleting generated documentation files'
29 @$(RM) *.{4ct,4tc,aux,dvi,idv,lg,log,out,pdf,tmp,toc,xml,xref}