#############################################################################
# man page generator
HTMLtoMAN=./g.html2man


#############################################################################
# mined manual page

man:	mined.1

mined.1:	../doc/mined.html $(HTMLtoMAN)
	sed -e 's,\\,\\\\,g' ../doc/mined.html > html
	LC_CTYPE=C $(HTMLtoMAN) html mined.1 1
	rm -f html


#############################################################################
# end
