1INFODIR = /usr/local/info 2IOPT = -m 644 3 4info hpt.info: hpt.texi 5 makeinfo --no-split hpt.texi 6 7dvi hpt.dvi: hpt.texi 8 texi2dvi hpt.texi 9 10ps hpt.ps: hpt.dvi 11 dvips hpt.dvi -o hpt.ps 12 13html hpt_toc.html: hpt.texi 14 texi2html -number -menu hpt.texi 15 16clean: 17 -rm *~ 18 -rm hpt.fns 19 -rm hpt.aux 20 -rm hpt.toc 21 -rm hpt.cp 22 -rm hpt.fn 23 -rm hpt.vr 24 -rm hpt.kr 25 -rm hpt.ke 26 -rm hpt.tp 27 -rm hpt.kes 28 -rm hpt.krs 29 -rm hpt.ky 30 -rm hpt.pg 31 -rm hpt.cps 32 -rm hpt.log 33 -rm hpt.fns 34 35distclean: clean 36 -rm hpt.dvi 37 -rm hpt.info 38 -rm hpt*html 39 -rm hpt.ps 40 41install: 42 install $(IOPT) hpt.info ${INFODIR} 43