diff options
author | W. Trevor King <wking@drexel.edu> | 2010-10-22 10:06:03 -0400 |
---|---|---|
committer | W. Trevor King <wking@drexel.edu> | 2010-10-22 10:06:03 -0400 |
commit | 4ee83193a9fb8433ca4769b85b9244dc5cd9d4fa (patch) | |
tree | ad395f290fb03f98077ae02d4e50062a5502d188 /Makefile | |
parent | c3d3f531440102986c83bf6611f45e81c9e636b3 (diff) | |
download | bugseverywhere-4ee83193a9fb8433ca4769b85b9244dc5cd9d4fa.tar.gz |
Allow command line overrides for built documentation.
For example, to install without documentation, use:
$ make DOC= install
which overrides Makefile's default DOC definition, setting it to the
empty string.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -37,6 +37,9 @@ XP = /usr/bin/xsltproc --nonet --param man.charmap.use.subset "0" \ PREFIX = ${HOME} INSTALL_OPTIONS = "--prefix=${PREFIX}" +# Select the documentation you wish to build +DOC = sphinx man + # Directories with semantic meaning DOC_DIR := doc MAN_DIR := ${DOC_DIR}/man @@ -58,7 +61,7 @@ build: $(LIBBE_VERSION) python setup.py build .PHONY: doc -doc: sphinx man +doc: $(DOC) .PHONY: install install: build doc |