Add a little documentation to the libraries/Makefile

ghc · May 3, 2007 · 173760f · 173760f
1 parent c770120
commit 173760f
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/libraries/Makefile b/libraries/Makefile
@@ -1,4 +1,15 @@
 
+# To do a fresh build:
+#
+#   make clean
+#   make boot
+#   make
+#
+# To rebuild a particular library <package>:
+#
+#   make clean.library.<package>
+#   make build.library.<package>
+
 .PHONY: default_target
 
 default_target: build