diff options
author | xrs <xrs@mail36.net> | 2018-06-30 19:22:10 +0200 |
---|---|---|
committer | xrs <xrs@mail36.net> | 2018-06-30 19:22:10 +0200 |
commit | f47bd9b4f08d9995d62697782cecc4967b1422d0 (patch) | |
tree | 2476a1da49688713c1f6a0addeb59c0e2424cc39 /Makefile.am | |
parent | dd68d665e140970c7d9dfd899fbdd4fefacb54a7 (diff) | |
download | gnunet-f47bd9b4f08d9995d62697782cecc4967b1422d0.tar.gz gnunet-f47bd9b4f08d9995d62697782cecc4967b1422d0.zip |
fix --enable-documentation option
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 45a693ac9..ad32cf920 100644 --- a/Makefile.am +++ b/Makefile.am | |||
@@ -3,8 +3,11 @@ AM_CPPFLAGS = -I$(top_srcdir)/src/include | |||
3 | 3 | ||
4 | if DOCUMENTATION_ONLY | 4 | if DOCUMENTATION_ONLY |
5 | SUBDIRS = doc | 5 | SUBDIRS = doc |
6 | else | 6 | else |
7 | SUBDIRS = doc m4 src po pkgconfig | 7 | SUBDIRS = m4 src po pkgconfig |
8 | if DOCUMENTATION | ||
9 | SUBDIRS += doc | ||
10 | endif | ||
8 | endif | 11 | endif |
9 | 12 | ||
10 | if !TALER_ONLY | 13 | if !TALER_ONLY |