Mercurial > hg > octave-jordi > gnulib-hg
changeset 13309:eeb72cb4f562
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.
author | Jim Meyering <meyering@redhat.com> |
---|---|
date | Mon, 03 May 2010 23:23:09 +0200 |
parents | 084f90e3785f |
children |