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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 2c84b0e148..b50a6fe546 100644 --- a/.gitignore +++ b/.gitignore @@ -135,6 +135,7 @@ doc/manpages/ocsptool.1 doc/manpages/p11tool.1 doc/manpages/psktool.1 doc/manpages/srptool.1 +doc/manpages/tpmtool.1 doc/ocsp-api.texi doc/pgp-api.texi doc/pkcs11-api.texi |