-* ghc/docs/users_guide/user.{dvi,html}: How to use GHC; e.g., what
- options are available, how to cope with common problems, how to use
- the profiling facilities, etc.
-
-* ghc/docs/libraries/libs.{dvi,html}: Several libraries that are
- provided by both GHC and Hugs.
+ * fptools/ghc/docs/users_guide Users' Guide.
+ * hslibs/doc/hslibs Library documentation.
+ * fptools/docs Build System Guide.