summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 332db7f5..fe487127 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -822,7 +822,7 @@ install-exec-emacs:
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)/