[MLton-commit] r7267

[Wesley Terpstra]

Documentation shouldn't be in /usr/lib... on any platform.


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

U   mlton/trunk/Makefile

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2009-10-14 17:01:38 UTC (rev 7266)
+++ mlton/trunk/Makefile	2009-10-14 17:15:35 UTC (rev 7267)
@@ -318,7 +318,7 @@
 endif
 
 .PHONY: install
-install: install-docs install-no-docs
+install: install-docs install-no-docs move-docs
 
 MAN_PAGES :=  \
 	mllex.1 \
@@ -396,6 +396,12 @@
 	find "$(TEXM)/" -name .ignore -type f | xargs rm -rf
 
 
+.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 */[Dd]oc; do mv "$$i" "$(TDOC)/$$i"; done
+	cd "$(TLIB)/sml"; for i in */README*; do mv "$$i" "$(TDOC)/$$i"; done
+
 DEBSRC := mlton-$(VERSION).orig
 .PHONY: deb
 deb: