Le jeudi 16 juillet 2009 à 16:45 +0200, John Mandereau a écrit : > Have you realized that it will make browsing Git history > more difficult and require hackery in translation checking scripts to > follow old history of files from docs/ to Documentation? We have this > problem for input/texidocs, but these files are recent and much smaller > than the manuals, and the benefit of merging Snippets into Documentation > is much greater on the long term.
Oops, we'll have this issue for the manuals too, as it's planned to move them one directory higher. Still, keeping Documentation saves some boring work. In case it wasn't clear, I don't care if you of anybody else renames Documentation/, as long as compilation, GUB and all maintenance scripts still work. Best, John
signature.asc
Description: Ceci est une partie de message numériquement signée
_______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
