Re: [boost] Library list generated from meta/libraries.json files

Subject: Re: [boost] Library list generated from meta/libraries.json files
From: Peter Dimov (lists_at_[hidden])
Date: 2015-01-05 19:23:09

Daniel James wrote:
> If a pull request isn't accepted, then that suggests I'd have to continue 
> maintaining the metadata myself, in which case I'd rather keep it in the 
> website.

Well, yes, I suppose. I hadn't thought of that.

On the other hand, unmaintained libraries aren't likely to change, so the 
metadata would probably not be that much of a maintenance burden; and if 
you're going to generate libraries.htm and maintainers.txt from the json 
files, the latter would need to be present.