[MLton-commit] r7281

[Wesley Terpstra]

Handle missing parent dir or existing destination.


----------------------------------------------------------------------

U   mlton/trunk/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2009-10-16 03:47:16 UTC (rev 7280)
+++ mlton/trunk/Makefile	2009-10-16 04:04:59 UTC (rev 7281)
@@ -398,7 +398,7 @@
 
 .PHONY: move-docs
 move-docs:	install-docs install-no-docs
-	cd "$(TLIB)/sml"; for i in *; do mkdir "$(TDOC)/$$i"; done
+	cd "$(TLIB)/sml"; for i in *; do test -d "$(TDOC)/$$i" || mkdir -p "$(TDOC)/$$i"; done
 	cd "$(TLIB)/sml"; for i in */[Dd]oc; do mv "$$i" "$(TDOC)/$$i"; done
 	cd "$(TLIB)/sml"; for i in */README*; do mv "$$i" "$(TDOC)/$$i"; done