X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.sgml;h=09743501ec7b804107da4dc8760ad1ad17110e01;hb=2dfd507259664e6f28df4a9467a8de34d01d70a0;hp=769b64126bc12b71ce7cbb7b25084342a5790684;hpb=dc801dc275fb8f81d482535b4d6317e234bb10f8;p=ghc-hetmet.git
diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 769b641..0974350 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -3,14 +3,14 @@
This section is a quick-reference for GHC's command-line
flags. For each flag, we also list its static/dynamic status (see
- ), and the flag's opposite
+ ), and the flag's opposite
(if available).
- Help and verbosity options ()
+ Help and verbosity options ()
-
+
Flag
@@ -74,10 +74,10 @@
- Which phases to run ()
+ Which phases to run ()
-
+
Flag
@@ -117,10 +117,10 @@
- Redirecting output ()
+ Redirecting output ()
-
+
Flag
@@ -178,10 +178,10 @@
- Keeping intermediate files ()
+ Keeping intermediate files ()
-
+
Flag
@@ -221,10 +221,10 @@
- Temporary files ()
+ Temporary files ()
-
+
Flag
@@ -246,10 +246,10 @@
- Finding imports ()
+ Finding imports ()
-
+
Flag
@@ -279,10 +279,10 @@
- Interface file options ()
+ Interface file options ()
-
+
Flag
@@ -325,10 +325,10 @@
- Recompilation checking ()
+ Recompilation checking ()
-
+
Flag
@@ -351,10 +351,10 @@
- Interactive-mode options ()
+ Interactive-mode options ()
-
+
Flag
@@ -382,9 +382,9 @@
- Packages ()
+ Packages ()
-
+
Flag
@@ -418,10 +418,10 @@
- Language options ()
+ Language options ()
-
+
Flag
@@ -516,10 +516,10 @@
- Warnings ()
+ Warnings ()
-
+
Flag
@@ -556,7 +556,7 @@
- warn about uses of functions & types that are deprecated
+ warn about uses of functions & types that are deprecated
dynamic
@@ -666,10 +666,10 @@
- Optimisation levels ()
+ Optimisation levels ()
-
+
Flag
@@ -697,10 +697,10 @@
- Individual optimisations ()
+ Individual optimisations ()
-
+
Flag
@@ -893,10 +893,10 @@
- Profiling options ()
+ Profiling options ()
-
+
Flag
@@ -950,10 +950,10 @@
- Parallelism options ()
+ Parallelism options ()
-
+
Flag
@@ -987,10 +987,10 @@
- C pre-processor options ()
+ C pre-processor options ()
-
+
Flag
@@ -1031,9 +1031,9 @@
- C compiler options ()
+ C compiler options ()
-
+
Flag
@@ -1056,10 +1056,10 @@
- Code generation options ()
+ Code generation options ()
-
+
Flag
@@ -1093,10 +1093,10 @@
- Linking options ()
+ Linking options ()
-
+
Flag
@@ -1194,10 +1194,10 @@
- Replacing phases ()
+ Replacing phases ()
-
+
Flag
@@ -1271,10 +1271,10 @@
- Forcing options to particular phases ()
+ Forcing options to particular phases ()
-
+
Flag
@@ -1340,10 +1340,10 @@
- Platform-specific options ()
+ Platform-specific options ()
-
+
Flag
@@ -1372,10 +1372,10 @@
- External core file options ()
+ External core file options ()
-
+
Flag
@@ -1398,10 +1398,10 @@
- Compiler debugging options ()
+ Compiler debugging options ()
-
+
Flag
@@ -1660,7 +1660,7 @@
Misc compiler options
-
+
Flag