Il giorno mar, 05/06/2012 alle 10.42 -0300, Han-Wen Nienhuys ha scritto: > it would be best if "make dist" were rewritten to take git's idea of > the tree, and then add any necessary generated files (eg. configure, > README) to that.
If we go this route, we should have a fallback for making dist outside Git, i.e. if "make dist" is run in a Git repo then use git and pack into the tarball the output of "git ls-files" otherwise use this saved output. John _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
