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


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

appl=mined
src=../doc/mined.html

man:	$(appl).1

$(appl).1:	$(src) $(HTMLtoMAN) dehtml.sed makefile
	sed -e 's,\\,\\\\,g' -f dehtml.sed $(src) > $(appl)
	LC_CTYPE=C $(HTMLtoMAN) $(appl) $(appl).0 1
	LC_CTYPE=C egrep . $(appl).0 > $(appl).1
	rm -f $(appl) $(appl).0


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