http://www.yudit.org/download/yudit-2.7.6/Makefile.in
こういうやつとかはそうっぽいな。

Makefile の字面上は $(DESTDIR)/$(prefix) と書くほうが気持ち
良いが、実行すると // になる。$(DESTDIR)$(prefix) にしないと
ダメ。でも Cygwin 以外ではほとんど上手くいくわけで、// のままに
する人がいるのも理解できる。

ここで Makefile 直せば良いじゃんというのは話がずれてる。
共有が不要な人にとってはそれが面倒だから OFF にできたらいい
なという話になるのであって。