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.