Hi Martin, On Tue, Aug 13, 2013 at 12:15 PM, Martin Sustrik <sustrik@xxxxxxxxxx> wrote: > Any opinions on that? The only reason to put documentation in the same git repository, is to update docs simultaneously with the code, and to accept patches for code and docs in one go. But this is fairly good reason to do so. -- Paul