David Kastrup <d...@gnu.org> writes: >> Currently, the top level .gitignore (of LilyPond's repository) contains this >> pattern: >> >> build/ >> >> I found no pattern negating this, in any .gitignore file (at any directory >> level). >> >> Currently, the repository on the server contains files (see below) which >> match this pattern. Because of this, Git will ignore changes to those files. > > I think this is most likely an oversight. > > Reading "man gitignore" shows that "build" should work, but maybe > "/build/" is more explicit. The alternative is that we find a new name > for scripts/build. But it is rather descriptive. Which is exactly the > reason build in the top directory is descriptive for the build process > as well. > > I'll do some experiments and submit a patch, likely using /build/ as > pattern.
git check-ignore does not appear to see this as a problem. -- David Kastrup _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond