[MLton-commit] r5843

[Matthew Fluet]

Don't try to install mlton-guide.pdf if it doesn't exist
----------------------------------------------------------------------

U   mlton/trunk/Makefile

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2007-08-09 22:24:40 UTC (rev 5842)
+++ mlton/trunk/Makefile	2007-08-09 23:04:55 UTC (rev 5843)
@@ -449,7 +449,9 @@
 		cd "$(SRC)/doc" &&					\
 		$(CP) changelog examples guide license README "$(TDOC)/"	\
 	)
-	mv "$(TDOC)/guide/mlton-guide.pdf" "$(TDOC)/"
+	if [ -r "$(TDOC)/guide/mlton-guide.pdf" ]; then 		\
+		mv "$(TDOC)/guide/mlton-guide.pdf" "$(TDOC)/";		\
+	fi
 	(								\
 		cd "$(SRC)/util" &&					\
 		$(CP) cmcat cm2mlb "$(TDOC)/"				\