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 5b349a5..2dcc856 100644 (file)
--- 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 d105e95..335d078 100644 (file)
--- 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."