diff options
| author | Luke Dashjr <luke-jr+git@utopios.org> | 2015-01-12 19:32:38 +0000 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2015-01-16 15:58:05 +0100 |
| commit | a83ad32e33edd127df7c13149388c836482eb3dd (patch) | |
| tree | 9b73949ff3393fdff24cd25eb2441fae07b55e01 /doc/manpages/Makefile.am | |
| parent | b86a5eb84d0aa84dd30dfee3281bc7f7a4e6447a (diff) | |
| download | gnutls-a83ad32e33edd127df7c13149388c836482eb3dd.tar.gz | |
Added configure option --disable-tools
Diffstat (limited to 'doc/manpages/Makefile.am')
| -rw-r--r-- | doc/manpages/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/manpages/Makefile.am b/doc/manpages/Makefile.am index bba05ee103..1f5019af43 100644 --- a/doc/manpages/Makefile.am +++ b/doc/manpages/Makefile.am @@ -21,17 +21,20 @@ EXTRA_DIST = stamp_mans -dist_man_MANS = gnutls-cli.1 gnutls-cli-debug.1 gnutls-serv.1 \ - certtool.1 psktool.1 p11tool.1 ocsptool.1 tpmtool.1 +dist_man_MANS = -include $(top_srcdir)/doc/doc.mk +if ENABLE_TOOLS +dist_man_MANS += gnutls-cli.1 gnutls-cli-debug.1 gnutls-serv.1 \ + certtool.1 psktool.1 p11tool.1 ocsptool.1 tpmtool.1 if ENABLE_SRP dist_man_MANS += srptool.1 endif if ENABLE_DANE dist_man_MANS += danetool.1 endif +endif # Note that our .def files depend on autogen # supporting the @subheading texi keyword. This |