Subject: Re: [boost] Metadata pull requests
From: Glen Fernandes (glen.fernandes_at_[hidden])
Date: 2014-08-18 12:05:06
On Mon, Aug 18, 2014, Daniel James wrote:
> Creates a single location for the data, which is currently duplicated
> in several different places, and is often inconsistent. We might also
> add more data, such as expected failures.
>
I wonder if the root index.html in every library could be generated
from information specified in meta/libraries.json also - instead of
each library providing a handwritten version with not much more than a
redirect.
Glen