summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-04-01 14:06:27 +0000
committerng0 <ng0@n0.is>2019-04-01 14:06:27 +0000
commit8e50f39a2c1ba03011bd1e5c51d0721f220e2e7a (patch)
treea5fdc478c3350c8945fb77efa41ccf04823522df /doc
parent1238b1f27382971a5ad0ad07ea0ed30b6d3aad17 (diff)
add ability to build manpages independent from other documentation choices
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am9
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4443b42f8..eb23b534b 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,9 +1,14 @@
# This Makefile.am is in the public domain
if DOCUMENTATION
- SUBDIRS = man doxygen handbook tutorial
+ SUBDIRS = doxygen handbook tutorial
endif
+
if !DOCUMENTATION
- SUBDIRS = man doxygen
+ SUBDIRS = doxygen
+endif
+
+if INCLUDE_MANPAGES
+ SUBDIRS += man
endif
EXTRA_DIST = \