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.
2010-05-03T23:23:09