From 54e05e9f8ab40bb07e78fa59e4d5cb27d70af336 Mon Sep 17 00:00:00 2001
From: sof <unknown>
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 516e6430060e..b85127d6be74 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 @<file>@ 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}
--
GitLab