diff Makefile.in @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 6daa59a55c43
children 1d34d916c206
line wrap: on
line diff
--- a/Makefile.in	Sat Dec 20 15:46:48 2008 -0500
+++ b/Makefile.in	Sat Dec 20 16:19:26 2008 -0500
@@ -5,6 +5,7 @@
 
 LIB_UR   := $(LIB)/ur
 LIB_C    := $(LIB)/c
+LIB_JS    := $(LIB)/js
 
 all: smlnj mlton c
 
@@ -70,6 +71,8 @@
 	cp lib/*.ur $(LIB_UR)/
 	mkdir -p $(LIB_C)
 	cp clib/*.o $(LIB_C)/
+	mkdir -p $(LIB_JS)
+	cp jslib/*.js $(LIB_JS)/
 	mkdir -p $(INCLUDE)
 	cp include/*.h $(INCLUDE)/
 	mkdir -p $(SITELISP)