Skip to content

Avoid deprecated fgrep in fix-docsize.sh

Jonas Hahnfeld requested to merge hahnjo/lilypond:fgrep into master

GNU Grep 3.8 prints a warning when calling fgrep (and egrep), which have long been deprecated. We could use the replacement grep -F, but a plain grep does the job and the resulting docs are identical.

Merge request reports