summaryrefslogtreecommitdiff
path: root/doc/Makefile.am
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2018-01-14 21:30:59 +0000
committerng0 <ng0@n0.is>2018-01-14 21:30:59 +0000
commit020893243a2dde911d5853ade8070fcef9c5fad9 (patch)
tree5c335c4d51d758e36046e969feebab222ac38938 /doc/Makefile.am
parent8e9d7943d18cf5b941804829fec6c9ebbf9dfd46 (diff)
Makefile, configure.ac, doc/Makefile: Add the ability to opt-out of documentation building with --disable-documentation, defaults to --enable-documentation
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r--doc/Makefile.am7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index ab8ccc4b5..28db606c5 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,5 +1,10 @@
# This Makefile.am is in the public domain
-SUBDIRS = man doxygen documentation
+if DOCUMENTATION
+ SUBDIRS = man doxygen documentation
+endif
+if !DOCUMENTATION
+ SUBDIRS = man doxygen
+endif
EXTRA_DIST = \
outdated-and-old-installation-instructions.txt