# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224951513 14400
# Node ID 0af37c883358a1e0e3775a517ecd987045fd6d42
# Parent  2f2d5c8dd320c175b284fff55a3ed5668ca6ad7c
mkdir -p BIN

diff -r 2f2d5c8dd320 -r 0af37c883358 Makefile.in
--- a/Makefile.in	Sat Oct 25 12:07:10 2008 -0400
+++ b/Makefile.in	Sat Oct 25 12:18:33 2008 -0400
@@ -59,6 +59,7 @@
 	$(MLTON) -output $@ src/urweb.mlb
 
 install:
+	mkdir -p $(BIN)
 	cp bin/urweb $(BIN)/
 	mkdir -p $(LIB_UR)
 	cp lib/*.urs $(LIB_UR)/