From 54e05e9f8ab40bb07e78fa59e4d5cb27d70af336 Mon Sep 17 00:00:00 2001 From: sof Date: Sat, 29 Nov 1997 20:37:43 +0000 Subject: [PATCH] [project @ 1997-11-29 20:37:43 by sof] Document new mkdependHS options --- ghc/docs/users_guide/utils.lit | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/ghc/docs/users_guide/utils.lit b/ghc/docs/users_guide/utils.lit index 516e643..b85127d 100644 --- a/ghc/docs/users_guide/utils.lit +++ b/ghc/docs/users_guide/utils.lit @@ -81,6 +81,7 @@ Here are the @mkdependHS@-specific options (not between @--@'s): \begin{description} \item[@-v@] Be verbose. \item[@-v -v@] Be very verbose. +\item[@-w@] Turn off warnings about interface file shadowing. \item[@-f blah@] Use @blah@ as the makefile, rather than @makefile@ or @Makefile@. If @blah@ doesn't exist, @mkdependHS@ creates it. @@ -117,6 +118,12 @@ Here are the @mkdependHS@-specific options (not between @--@'s): Regard @@ as not "stable"; i.e., generate dependencies on it (if any). This option is normally used in conjunction with the @--exclude-directory@ option. +\item[@--include-prelude@] + Regard prelude libraries as unstable, i.e., generate dependencies + on the prelude modules used (including \tr{Prelude}). + This option is normally only used by the various system libraries. If + a \tr{-syslib} option is used, dependencies will also be + generated on the library's interfaces. \end{description} -- 1.7.10.4