diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2012-07-30 13:41:01 +0200 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2012-07-30 14:31:51 +0200 |
commit | 957a625d8a133cb9cf2fe5d604c74dd8b4a28801 (patch) | |
tree | 73c85fcb4b52abbc1bb4ff416d88e6d04e83d61b /top/maint.mk | |
parent | c0439bc019060e5ddd85114463799e5d813fb0f0 (diff) | |
download | gnulib-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.mk | 6 |
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: |