diff options
author | Evgeny Grin (Karlson2k) <k2k@narod.ru> | 2022-01-03 22:05:01 +0300 |
---|---|---|
committer | Evgeny Grin (Karlson2k) <k2k@narod.ru> | 2022-01-05 17:15:08 +0300 |
commit | 5e90bb9288a3303f00faf57cf6f3a4e5f1dc7468 (patch) | |
tree | da7ece4962ff815739f2a18cc81129ca0b4b48b4 | |
parent | b1b3301ac3ea2e1207832e8fe7a159f2ad06b38c (diff) | |
download | libmicrohttpd-5e90bb9288a3303f00faf57cf6f3a4e5f1dc7468.tar.gz libmicrohttpd-5e90bb9288a3303f00faf57cf6f3a4e5f1dc7468.zip |
doc/Makefile: added phony target to force update timestamp
-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 | |||