Mercurial > urweb

diff Makefile.am @ 1733:ab24a7cb2a64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'urweb daemon start' and 'urweb daemon stop'
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 16:23:03 -0400
parents 1c9f8f06c1d6
children c414850f206f
line wrap: on
line diff
--- a/Makefile.am	Sun Apr 29 13:17:31 2012 -0400
+++ b/Makefile.am	Sun Apr 29 16:23:03 2012 -0400
@@ -75,7 +75,7 @@
 
 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)/