diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e3a5d748..dec730e5 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -58,4 +58,9 @@ uninstall-local: | |||
58 | rm -f "$(DESTDIR)$(infodir)/libmicrohttpd_performance_data.png" \ | 58 | rm -f "$(DESTDIR)$(infodir)/libmicrohttpd_performance_data.png" \ |
59 | else : ; fi | 59 | else : ; fi |
60 | 60 | ||
61 | # end of 'if BUILD_DOC' | 61 | update-stamp: |
62 | @rm -f '$(srcdir)/stamp-vti' '$(srcdir)/version.texi' && \ | ||
63 | $(MAKE) $(AM_MAKEFLAGS) '$(srcdir)/version.texi' | ||
64 | |||
65 | .PHONY: update-stamp | ||
66 | |||