+* To check out extra bits into an already-checked-out tree, use the
+ following procedure. Suppose you have a checked-out fptools tree containing
+ just ghc and hslibs, and you want to add nofib to it:
+
+ cd fptools
+ cvs checkout nofib
+
+ or:
+
+ cd fptools
+ cvs update -d nofib
+
+ (the -d flag tells update to create a new directory). If you just want
+ part of the nofib suite, you can do
+
+ cd fptools
+ cvs checkout nofib/spectral
+
+ This works because 'nofib' is a module in its own right, and spectral
+ is a subdirectory of the nofib module. The path argument to checkout
+ must always start with a module name. There's no equivalent form of
+ this command using update.
+
+Ok, that'll do for now. If there's anything else you'd like to see in
+this file, just let me know.