diff options
Diffstat (limited to 'doc/manpages/Makefile.am')
-rw-r--r-- | doc/manpages/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manpages/Makefile.am b/doc/manpages/Makefile.am index 562a1428c9..b477482a36 100644 --- a/doc/manpages/Makefile.am +++ b/doc/manpages/Makefile.am @@ -19,6 +19,8 @@ # along with this file; if not, write to the Free Software Foundation, # Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +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 |