Thomas Lockhart writes:
> There is nothing stopping Marc from running the docs generation
> explicitly just before release. The group permissions in my docs build
> area are set to allow this.
That's kind of what I meant, only instead of "Marc running the docs
generation explicitly just before release" I imagined "the docs generation
being run automatically when Marc generates the release". It's just one
detour less that way.
--
Peter Eisentraut peter_e@gmx.net http://yi.org/peter-e/