diff options
-rw-r--r-- | doc/manpages/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manpages/Makefile.am b/doc/manpages/Makefile.am index 98ae13a0be..bde87e0030 100644 --- a/doc/manpages/Makefile.am +++ b/doc/manpages/Makefile.am @@ -1207,6 +1207,7 @@ compare-makefile: grep -v -e '^APIMANS += ' Makefile.am | \ perl -p -e "s/^APIMANS =/APIMANS =$$MANS/" > tmp-$@; \ diff -u $(srcdir)/Makefile.am tmp-$@ + rm -f tmp-$@ stamp_mans: $(HEADER_FILES) @echo $(ECHO_N) "Creating man pages for gnutls.h..." && \ |