Re: request for pre-generated git.info pages

From: Miklos Vajna <hidden>
Date: 2016-06-15 22:45:33

On Thu, Oct 30, 2008 at 09:06:35AM +0000, Mike Ralphson [off-list ref] wrote:

How often would you want the info pages rebuilt? Just the versions
which Junio tags? Or would you only want them built from one branch
(e.g. maint)?

Probably it could be done in a similar way to the html and the man pages
(each time master is updated + for tags).