############################################################################# # man page generator HTMLtoMAN=./g.html2man # version VER=$(shell sed -e 's,^[^0-9]*,,' -e 's,[^0-9][^0-9]*,.,g' -e q ../VERSION ) date=$(shell LC_ALL=C date +"%B %Y" ) ############################################################################# # header and footer lines header=sed -e 's,.*,\1,' -e t -e d footer.mined=mined $(VER) footer.uterm=uterm ############################################################################# # mined manual page man: mined.1 uterm.1 %.1: ../doc/%.html $(HTMLtoMAN) *.sed makefile sed -e '//,/<\/span id=frames>/ d' -e 's,\\,\\\\,g' -f dehtml.sed $< > $* LC_CTYPE=C $(HTMLtoMAN) $* $*-0 1 LC_CTYPE=C sed -e "s,__header__,$(shell $(header) $< )," -e "s,__footer__,$(footer.$*)," -e "s,__date__,$(date)," -e "/^$$/ d" $*-0 > $*-1 LC_CTYPE=C sed -e "s,^', '," $*-1 > $@ rm -f $* $*-0 $*-1 ############################################################################# # test target date: echo $(date) ############################################################################# # end