projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03bc12c) | patch
maint.mk: allow to pass options to gendocs.sh
authorJim Meyering <meyering@redhat.com>
Mon, 3 May 2010 21:23:09 +0000 (23:23 +0200)
committerJim Meyering <meyering@redhat.com>
Mon, 3 May 2010 21:23:09 +0000 (23:23 +0200)
commitc3561613692e843eaecb45908c0d75c1cc2d3147
tree8de2a0dabd0377825e3b9dd9d79617c6acd52f92tree | snapshot
parent03bc12c7cb9ec501356fdbe9555b145f15e43acecommit | diff
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.
ChangeLog diff | blob | history
top/maint.mk diff | blob | history
gnulib debian + stable branches