X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.xml;fp=ghc%2Fdocs%2Fusers_guide%2Fflags.xml;h=e24226d2b4dbf3e799f487e7e5f551bcb2de1555;hb=1d88ebeb16dccc499fe670ec592d1f641d609846;hp=69a3c450bf2a173955664405d82446b2189f2ded;hpb=c0233dc7d12654001595e9c3d5354ced415987bc;p=ghc-hetmet.git
diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index 69a3c45..e24226d 100644
--- a/ghc/docs/users_guide/flags.xml
+++ b/ghc/docs/users_guide/flags.xml
@@ -8,7 +8,9 @@
(if available).
- Help and verbosity options ()
+ Help and verbosity options
+
+
@@ -81,8 +83,10 @@
- Which phases to run ()
+ Which phases to run
+
+
@@ -124,8 +128,10 @@
- Alternative modes of operation ()
+ Alternative modes of operation
+
+
@@ -173,8 +179,10 @@
- Redirecting output ()
+ Redirecting output
+
+
@@ -234,7 +242,9 @@
- Keeping intermediate files ()
+ Keeping intermediate files
+
+
@@ -277,8 +287,10 @@
- Temporary files ()
+ Temporary files
+
+
@@ -302,7 +314,9 @@
- Finding imports ()
+ Finding imports
+
+
@@ -335,7 +349,9 @@
- Interface file options ()
+ Interface file options
+
+
@@ -381,7 +397,9 @@
- Recompilation checking ()
+ Recompilation checking
+
+
@@ -408,8 +426,10 @@
- Interactive-mode options ()
+ Interactive-mode options
+
+
@@ -439,7 +459,10 @@
- Packages ()
+ Packages
+
+
+
@@ -487,7 +510,9 @@
- Language options ()
+ Language options
+
+
@@ -600,8 +625,10 @@
- Warnings ()
+ Warnings
+ (
+
@@ -765,7 +792,9 @@
- Optimisation levels ()
+ Optimisation levels
+
+
@@ -796,7 +825,9 @@
- Individual optimisations ()
+ Individual optimisations
+
+
@@ -992,7 +1023,9 @@
- Profiling options ()
+ Profiling options
+
+
@@ -1049,7 +1082,9 @@
- Parallelism options ()
+ Parallelism options
+
+
@@ -1086,7 +1121,9 @@
- C pre-processor options ()
+ C pre-processor options
+
+
@@ -1130,7 +1167,9 @@
- C compiler options ()
+ C compiler options
+
+
@@ -1155,7 +1194,9 @@
- Code generation options ()
+ Code generation options
+
+
@@ -1192,7 +1233,9 @@
- Linking options ()
+ Linking options
+
+
@@ -1293,7 +1336,9 @@
- Replacing phases ()
+ Replacing phases
+
+
@@ -1370,7 +1415,9 @@
- Forcing options to particular phases ()
+ Forcing options to particular phases
+
+
@@ -1439,8 +1486,10 @@
- Platform-specific options ()
+ Platform-specific options
+
+
@@ -1471,7 +1520,9 @@
- External core file options ()
+ External core file options
+
+
@@ -1497,7 +1548,9 @@
- Compiler debugging options ()
+ Compiler debugging options
+
+