changeset 13309:eeb72cb4f562

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.
author Jim Meyering <meyering@redhat.com>
date Mon, 03 May 2010 23:23:09 +0200
parents 084f90e3785f
children 7ee54637c943
files ChangeLog top/maint.mk
diffstat 2 files changed, 10 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Mon May 03 23:18:40 2010 +0200
+++ b/ChangeLog	Mon May 03 23:23:09 2010 +0200
@@ -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.
 
--- a/top/maint.mk	Mon May 03 23:18:40 2010 +0200
+++ b/top/maint.mk	Mon May 03 23:23:09 2010 +0200
@@ -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."