diff options
author | Jim Meyering <meyering@redhat.com> | 2010-05-03 23:23:09 +0200 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2010-05-03 23:23:09 +0200 |
commit | c3561613692e843eaecb45908c0d75c1cc2d3147 (patch) | |
tree | 8de2a0dabd0377825e3b9dd9d79617c6acd52f92 /top | |
parent | 03bc12c7cb9ec501356fdbe9555b145f15e43ace (diff) | |
download | gnulib-c3561613692e843eaecb45908c0d75c1cc2d3147.tar.gz |
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.
Diffstat (limited to 'top')
-rw-r--r-- | top/maint.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/top/maint.mk b/top/maint.mk index d105e95110..335d078358 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." |