Nik Clayton ef198ce9f1 Be smarter about setting DOC_PREFIX to /usr/doc. Only do it if ... /usr/doc/share/mk/docproj.docbook.mk exists. Otherwise, warn the user they need to set it, and exit.		1999-05-18 17:51:40 +00:00
..
docproj.docbook.mk	Be smarter about setting DOC_PREFIX to /usr/doc. Only do it if	1999-05-18 17:51:40 +00:00