On Mon, 2016-10-17 at 10:57 -0400, Matthew Miller wrote:
On Mon, Oct 17, 2016 at 10:39:52AM -0400, Shaun McCance wrote:
>
> At stated in $SUBJECT, I'm specifically referring to legacy
> documents,
> which are in DocBook.
In that case, why not merge them all, but put it into a
legacy-documents repo? If *that* repo is slow, it won't matter much.
That's one of the things I proposed.
--
Shaun