# HG changeset patch
# User Jim Meyering <meyering@redhat.com>
# Date 1272921789 -7200
# Node ID eeb72cb4f5624943d8699658194ed7034b7cf8b0
# Parent  084f90e3785f39ab514e5d36bc647a00f48988c4
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
--- 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
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -1085,12 +1085,17 @@
 	$(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."