diff options
| author | Gary V. Vaughan <gary@gnu.org> | 2011-10-19 18:58:09 +0700 |
|---|---|---|
| committer | Gary V. Vaughan <gary@gnu.org> | 2011-10-19 18:58:09 +0700 |
| commit | 10ee4c32d8d461d9f8cb1965e99167373db42c31 (patch) | |
| tree | f52eedfd675983e4e8e5fc2493bae14c1599ffe6 /top | |
| parent | 9ce1d1748f8d7d27b41f7026ee137eb5eed7c224 (diff) | |
| download | gnulib-10ee4c32d8d461d9f8cb1965e99167373db42c31.tar.gz | |
maint.mk: Respect $(build_aux) in web-manual rule.
* top/maint.mk (web-manual): Find gen-announce script in user's
$(build_aux) directory instead of hard-coding 'build-aux'.
Diffstat (limited to 'top')
| -rw-r--r-- | top/maint.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/maint.mk b/top/maint.mk index 51f617bb48..d51fec6638 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1327,7 +1327,7 @@ 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 $(gendocs_options_) \ + $(SHELL) ../$(build_aux)/gendocs.sh $(gendocs_options_) \ -o '$(abs_builddir)/doc/manual' \ --email $(PACKAGE_BUGREPORT) $(PACKAGE) \ "$(PACKAGE_NAME) - $(manual_title)" |