# Punned master source 2008 recipe for webdoc CGI support
# $Id: Makefile,v 1.3 2012/03/07 18:10:20 ksb Exp $
INTO=/usr/src/local/cgi-bin/manpage

CGIBIN=${DESTDIR}/usr/local/cgi-bin

GEN=
SOURCE=	Makefile TODO manpage.cgi txt2html

clean: FRC
	rm -f ${GEN}

install: manpage.cgi
	install -c -m 0555 manpage.cgi ${CGIBIN}/manpage.cgi

source: ${SOURCE} ${GEN}

${SOURCE}:
	co -q $@

FRC:

# msrc patch to get up-to-date and checked-out sources
__msrc: source