diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-09-20T16·13+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-20T16·13+0200 |
| commit | 3fcfd899f829da15b73fde233d249b4a98aee36e (patch) | |
| tree | f86e5610a761a36a1c2698c8d06ea2af1f03402d /doc/manual | |
| parent | beaefdf70648776cf83f80daf146eb774ff4c20c (diff) | |
| parent | 7ef053c6327441bc7306ff6ee12fde2a42301ab4 (diff) | |
Merge pull request #1066 from adevress/disable-doc
Add a new option to disable documentation generation at configure time
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/local.mk | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index d89555899a70..4376c3644d38 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -1,3 +1,6 @@ + +ifeq ($(doc_generate),yes) + XSLTPROC = $(xsltproc) --nonet $(xmlflags) \ --param section.autolabel 1 \ --param section.label.includes.component.label 1 \ @@ -71,8 +74,14 @@ $(foreach file, $(wildcard $(d)/images/callouts/*.gif), $(eval $(call install-da $(eval $(call install-symlink, manual.html, $(docdir)/manual/index.html)) + all: $(d)/manual.html + + clean-files += $(d)/manual.html dist-files += $(d)/manual.html + + +endif |