summaryrefslogtreecommitdiff
path: root/top/maint.mk
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2012-07-30 13:41:01 +0200
committerAkim Demaille <akim@lrde.epita.fr>2012-07-30 14:31:51 +0200
commit957a625d8a133cb9cf2fe5d604c74dd8b4a28801 (patch)
tree73c85fcb4b52abbc1bb4ff416d88e6d04e83d61b /top/maint.mk
parentc0439bc019060e5ddd85114463799e5d813fb0f0 (diff)
downloadgnulib-957a625d8a133cb9cf2fe5d604c74dd8b4a28801.tar.gz
maint.mk: provide a web-manual-update target
* top/maint.mk: here. * top/README-release: Use it to simplify the web manual update step.
Diffstat (limited to 'top/maint.mk')
-rw-r--r--top/maint.mk6
1 files changed, 6 insertions, 0 deletions
diff --git a/top/maint.mk b/top/maint.mk
index 6336e3a94a..a40e524673 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -1405,6 +1405,12 @@ web-manual:
"$(PACKAGE_NAME) - $(manual_title)"
@echo " *** Upload the doc/manual directory to web-cvs."
+.PHONY: web-manual-update
+web-manual-update:
+ $(AM_V_GEN)cd $(srcdir) \
+ && $(_build-aux)/gnu-web-doc-update -C $(abs_builddir)
+
+
# Code Coverage
init-coverage: