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 /build-aux/bootstrap | |
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 'build-aux/bootstrap')
0 files changed, 0 insertions, 0 deletions