From 9a28e1299e998bced6c134d0eadb483b683520e8 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 30 Apr 2001 12:09:56 +0000
Subject: [PATCH] [project @ 2001-04-30 12:09:56 by simonmar] add -fwarn-misc.

---
 ghc/docs/users_guide/flags.sgml |    7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index dfca7cd..37c9f5d 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -502,6 +502,13 @@
 	  </row>
 
 	  <row>
+	    <entry><option>-fwarn-misc</option></entry>
+	    <entry>enable miscellaneous warnings</entry>
+	    <entry>dynamic</entry>
+	    <entry><option>-fno-warn-misc</option></entry>
+	  </row>
+
+	  <row>
 	    <entry><option>-fwarn-missing-fields</option></entry>
 	    <entry>warn when fields of a record are uninitialised</entry>
 	    <entry>dynamic</entry>
-- 
1.7.10.4