# HG changeset patch # User Olaf Wintermann # Date 1686339929 -7200 # Node ID 2b153bc3eb5763fe56715740afbb7d9da44d3215 # Parent 9598ff4690337a454678abc53cfcfa3053344a40 fix make install diff -r 9598ff469033 -r 2b153bc3eb57 make/install.mk --- a/make/install.mk Fri Jun 09 21:39:51 2023 +0200 +++ b/make/install.mk Fri Jun 09 21:45:29 2023 +0200 @@ -30,7 +30,7 @@ include ../config.mk -install: install-dir install-bin +install: @echo "install to $(DESTDIR)$(PREFIX)" ./install-sh -d $(DESTDIR)$(PREFIX)/bin ./install-sh ../build/bin/dav $(DESTDIR)$(PREFIX)/bin