Jakub Narebski <jnareb@xxxxxxxxx> 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? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html