EXTRA_DIST=doxyfile 42sh.man .PHONY: doc man doc: doxygen doxyfile man: groff 42sh.man -man -T ascii > manual.txt groff 42sh.man -man -T ps | ps2pdf - manual.pdf CLEANFILES=html *~
