comparison Makefile.in @ 1733:ab24a7cb2a64

'urweb daemon start' and 'urweb daemon stop'
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 16:23:03 -0400
parents 27d68ccb2c9e
children c414850f206f
comparison
equal deleted inserted replaced
1732:4a03aa3251cb 1733:ab24a7cb2a64
820 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP) 820 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP)
821 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ 821 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/
822 822
823 install-exec-local-main: 823 install-exec-local-main:
824 mkdir -p $(DESTDIR)$(BIN) 824 mkdir -p $(DESTDIR)$(BIN)
825 cp bin/urweb $(DESTDIR)$(BIN)/ 825 install bin/urweb $(DESTDIR)$(BIN)/
826 mkdir -p $(DESTDIR)$(LIB_UR) 826 mkdir -p $(DESTDIR)$(LIB_UR)
827 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/ 827 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/
828 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/ 828 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/
829 mkdir -p $(DESTDIR)$(LIB_JS) 829 mkdir -p $(DESTDIR)$(LIB_JS)
830 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/ 830 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/