Jakub Narebski [off-list ref] writes:
BUT in the case of 'html' and 'man' branches I could see why current
implementation of _removing index and not removing files_ might be
advantageous. Remove index, create HTML and manpage version of
documentation, and add HTML (in 'html' branch) or manpages (in 'man'
branch)... probably shifting root, so it is not all in single
Documentation directory.
When you have some spare time, I'd recommend you to read dodoc.sh script
in the 'todo' branch. These preformatted documentation branches are
coming from their own repositories, very much on purpose.
Just my 2 eurocents.
Already?