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 _______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx
