diff options
| author | Alon Bar-Lev <alon.barlev@gmail.com> | 2015-12-18 12:14:08 +0200 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2015-12-18 16:10:35 +0100 |
| commit | af385d1552c0d5854db6db03c82e1e9b89e80b94 (patch) | |
| tree | a75d4838f9df6fccb1f4223cd36a2c67d5c9cb0d /Makefile.am | |
| parent | 15127ff7aa674b25827c4017a4584261613d4cc9 (diff) | |
| download | gnutls-af385d1552c0d5854db6db03c82e1e9b89e80b94.tar.gz | |
build: allow installing man(1) even with --disable-doc
Currently these man pages are installed only if --enable-doc
is provided, while these are not actually docs, do not require any
special dependency, nor consume large space.
This adds --enable-manpages to enable/disable manpages installation, and
install the man(1) regardless of --disable-doc.
Signed-off-by: Alon Bar-Lev <alon.barlev@gmail.com>
Signed-off-by: Nikos Mavrogiannopoulos <nmav@redhat.com>
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index d61fded8e2..f39916fca5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -42,6 +42,10 @@ if HAVE_GUILE SUBDIRS += guile endif +if ENABLE_MANPAGES +SUBDIRS += doc/manpages +endif + if ENABLE_DOC SUBDIRS += doc endif |