diff options
author | ng0 <ng0@n0.is> | 2019-04-01 18:00:45 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 18:00:45 +0000 |
commit | 1d17d1aa2e32586ac07f637ad320b05a56cc1e3c (patch) | |
tree | e030be42a89ae6f1b0c7b1651ebbf0778cbe1763 /doc | |
parent | 9662ba32e6b383fc7033f5aceb070ee49ec39d09 (diff) | |
parent | 8e50f39a2c1ba03011bd1e5c51d0721f220e2e7a (diff) | |
download | gnunet-1d17d1aa2e32586ac07f637ad320b05a56cc1e3c.tar.gz gnunet-1d17d1aa2e32586ac07f637ad320b05a56cc1e3c.zip |
Merge branch 'dev/ng0/5673_5616'
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 9 |
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 @@ | |||
1 | # This Makefile.am is in the public domain | 1 | # This Makefile.am is in the public domain |
2 | if DOCUMENTATION | 2 | if DOCUMENTATION |
3 | SUBDIRS = man doxygen handbook tutorial | 3 | SUBDIRS = doxygen handbook tutorial |
4 | endif | 4 | endif |
5 | |||
5 | if !DOCUMENTATION | 6 | if !DOCUMENTATION |
6 | SUBDIRS = man doxygen | 7 | SUBDIRS = doxygen |
8 | endif | ||
9 | |||
10 | if INCLUDE_MANPAGES | ||
11 | SUBDIRS += man | ||
7 | endif | 12 | endif |
8 | 13 | ||
9 | EXTRA_DIST = \ | 14 | EXTRA_DIST = \ |