doc team git setup

[Graham Percival]

Han-Wen, did you have any thoughts about the "separate git tree
for docs" email?  One way or another, there's two doc writers who
should be able to push to the normal git tree for docs (whether
that's part of master or a separate one).

http://lists.gnu.org/archive/html/lilypond-devel/2008-07/msg00343.html

The past discussion on only had two replies.  This isn't urgent, but I
don't know of any particular reason to postpone sorting it out now.

Cheers,
- Graham