From 4546d4f252f70f87ee86ad2de85f4749171efbfb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 Apr 2012 16:23:03 -0400
Subject: 'urweb daemon start' and 'urweb daemon stop'

---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 42e5d4d7..98d1ca11 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -75,7 +75,7 @@ endif
 
 install-exec-local-main:
 	mkdir -p $(DESTDIR)$(BIN)
-	cp bin/urweb $(DESTDIR)$(BIN)/
+	install bin/urweb $(DESTDIR)$(BIN)/
 	mkdir -p $(DESTDIR)$(LIB_UR)
 	cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/
 	cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/
-- 
cgit v1.2.3