diff top/maint.mk @ 17017:f8db24372e01

maint.mk: provide a web-manual-update target * top/maint.mk: here. * top/README-release: Use it to simplify the web manual update step.
author Akim Demaille <akim@lrde.epita.fr>
date Mon, 30 Jul 2012 13:41:01 +0200
parents 12eb56636194
children 5c9f5fd5fc49
line wrap: on
line diff
--- a/top/maint.mk	Mon Jul 30 12:27:29 2012 +0200
+++ b/top/maint.mk	Mon Jul 30 13:41:01 2012 +0200
@@ -1405,6 +1405,12 @@
 	    "$(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: