1all: hol-mode.ps hol-mode.pdf hol-mode.dvi 2 3clean: 4 /bin/rm -f hol-mode.dvi hol-mode.ps hol-mode.pdf hol-mode.aux hol-mode.log 5 6hol-mode.ps: hol-mode.dvi 7 dvips $< -o 8 9hol-mode.pdf: hol-mode.tex 10 pdflatex $< 11 12hol-mode.dvi: hol-mode.tex 13 latex $< 14