> The standard explicitly says it should not be there, but in
> /opt/. Also, MacPorts is in /opt/local/ but should have been in
> /opt/macports/, as it suggests /opt≮provider>/<package>.
Yes.
> But on the hand, I have never seen anything installing in /opt/
> besides MacPorts on MacOS. And also packages are put in /usr/local/.
Well, that homebrew occupies `/usr/local' is far from optimal.
Werner
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
