source=lisplab.texi default: html all: html pdf html: makeinfo --html $(source) pdf: texi2pdf $(source) clean: -rm lisplab.aux -rm lisplab.cp -rm lisplab.fn -rm lisplab.pg -rm lisplab.log -rm lisplab.ky -rm lisplab.tp -rm lisplab.toc -rm lisplab.vr distclean: clean -rm lisplab.pdf -rm -r lisplab -rm lisplab.html -rm *~