os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Be smarter about setting DOC_PREFIX to /usr/doc. Only do it if

Browse source 
/usr/doc/share/mk/docproj.docbook.mk exists.  Otherwise, warn the
user they need to set it, and exit.
This commit is contained in:
Nik Clayton 1999-05-18 17:51:40 +00:00
parent 3f5207bad9
commit ef198ce9f1
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=4914
1 changed files with 22 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
share/mk/docproj.docbook.mk
View file

@ -1,5 +1,5 @@
#
# $Id: docproj.docbook.mk,v 1.3 1999-05-05 20:16:46 nik Exp $
# $Id: docproj.docbook.mk,v 1.4 1999-05-18 17:51:40 nik Exp $
#
# This include file <docproj.docbook.mk> handles installing documentation
# from the FreeBSD Documentation Project.
@ -63,8 +63,6 @@
#
# You shouldn't need to change definitions below here
DOC_PREFIX?= /usr/doc
VOLUME?= ${.CURDIR:T}
DOC?= ${.CURDIR:T}
DISTRIBUTION?= doc
@ -82,6 +80,27 @@ JADEOPTS= ${JADEFLAGS} -c ${FREEBSDCATALOG} -c ${DSSSLCATALOG} -c ${DOCBOOKCATAL
KNOWN_FORMATS= html html-split html-split.tar txt rtf ps pdf tex dvi tar doc
# ------------------------------------------------------------------------
# If DOC_PREFIX is not set then try and generate a sensible value for it.
#
# If they have used an unedited /usr/share/examples/cvsup/doc-supfile to
# download these files then /usr/doc probably exists. If it does, then
# use that. If it doesn't exist then tell the user they must specify
# DOC_PREFIX by hand.
#
.BEGIN:
.if !defined(DOC_PREFIX) || empty(DOC_PREFIX)
.if exists(/usr/doc/share/mk/docproj.docbook.mk)
DOC_PREFIX=/usr/doc
.else
@echo "You must define the DOC_PREFIX variable. This should contain"
@echo "the path to the top of your checked out doc/ repository. For"
@echo "example, \"make DOC_PREFIX=/usr/doc\", if that is where the"
@echo "documentation has been checked out to."
@exit 1
.endif
.endif
# ------------------------------------------------------------------------
#
# Look at ${FORMATS} and work out which documents need to be generated.