From: Jim Meyering <meyering@redhat.com>
Date: Mon, 3 May 2010 21:23:09 +0000 (+0200)
Subject: maint.mk: allow to pass options to gendocs.sh
X-Git-Tag: v0.1~4178
X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=c3561613692e843eaecb45908c0d75c1cc2d3147;p=gnulib.git

maint.mk: allow to pass options to gendocs.sh

* top/maint.mk (web-manual): Pass gendocs_options_ to gendocs.sh.
(gendocs_options_): New overridable variable.
---

diff --git a/ChangeLog b/ChangeLog
index 5b349a571..2dcc856dd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2010-05-03  Jim Meyering  <meyering@redhat.com>
 
+	maint.mk: allow to pass options to gendocs.sh
+	* top/maint.mk (web-manual): Pass gendocs_options_ to gendocs.sh.
+	(gendocs_options_): New overridable variable.
+
 	gnu-web-doc-update: don't ignore configure or build failure
 	* build-aux/gnu-web-doc-update: Exit nonzero upon internal failure.
 
diff --git a/top/maint.mk b/top/maint.mk
index d105e9511..335d07835 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -1085,12 +1085,17 @@ release-prep:
 	$(VC) commit -F .ci-msg -a
 	rm .ci-msg
 
+# Override this with e.g., -s $(srcdir)/some_other_name.texi
+# if the default $(PACKAGE)-derived name doesn't apply.
+gendocs_options_ ?=
+
 .PHONY: web-manual
 web-manual:
 	@test -z "$(manual_title)" \
 	  && { echo define manual_title in cfg.mk 1>&2; exit 1; } || :
 	@cd '$(srcdir)/doc'; \
-	  $(SHELL) ../build-aux/gendocs.sh -o '$(abs_builddir)/doc/manual' \
+	  $(SHELL) ../build-aux/gendocs.sh $(gendocs_options_) \
+	     -o '$(abs_builddir)/doc/manual' \
 	     --email $(PACKAGE_BUGREPORT) $(PACKAGE) \
 	    "$(PACKAGE_NAME) - $(manual_title)"
 	@echo " *** Upload the doc/manual directory to web-cvs."