From 1d88ebeb16dccc499fe670ec592d1f641d609846 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 1 Mar 2005 14:59:18 +0000 Subject: [PATCH] [project @ 2005-03-01 14:59:18 by simonmar] Work around bugs in DocBook XSL stylesheets: don't put cross-references in section headers. --- ghc/docs/users_guide/flags.xml | 105 ++++++++++++++++++++++++++++++---------- 1 file changed, 79 insertions(+), 26 deletions(-) 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 (<xref linkend="options-help"/>) + Help and verbosity options + + @@ -81,8 +83,10 @@ - Which phases to run (<xref linkend="options-order"/>) + Which phases to run + + @@ -124,8 +128,10 @@ - Alternative modes of operation (<xref linkend="modes"/>) + Alternative modes of operation + + @@ -173,8 +179,10 @@ - Redirecting output (<xref linkend="options-output"/>) + Redirecting output + + @@ -234,7 +242,9 @@ - Keeping intermediate files (<xref linkend="keeping-intermediates"/>) + Keeping intermediate files + + @@ -277,8 +287,10 @@ - Temporary files (<xref linkend="temp-files"/>) + Temporary files + + @@ -302,7 +314,9 @@ - Finding imports (<xref linkend="search-path"/>) + Finding imports + + @@ -335,7 +349,9 @@ - Interface file options (<xref linkend="hi-options"/>) + Interface file options + + @@ -381,7 +397,9 @@ - Recompilation checking (<xref linkend="recomp"/>) + Recompilation checking + + @@ -408,8 +426,10 @@ - Interactive-mode options (<xref linkend="ghci-dot-files"/>) + Interactive-mode options + + @@ -439,7 +459,10 @@ - Packages (<xref linkend="packages"/>) + Packages + + + @@ -487,7 +510,9 @@ - Language options (<xref linkend="options-language"/>) + Language options + + @@ -600,8 +625,10 @@ - Warnings (<xref linkend="options-sanity"/>) + Warnings + ( + @@ -765,7 +792,9 @@ - Optimisation levels (<xref linkend="options-optimise"/>) + Optimisation levels + + @@ -796,7 +825,9 @@ - Individual optimisations (<xref linkend="options-f"/>) + Individual optimisations + + @@ -992,7 +1023,9 @@ - Profiling options (<xref linkend="profiling"/>) + Profiling options + + @@ -1049,7 +1082,9 @@ - Parallelism options (<xref linkend="sec-using-parallel"/>) + Parallelism options + + @@ -1086,7 +1121,9 @@ - C pre-processor options (<xref linkend="c-pre-processor"/>) + C pre-processor options + + @@ -1130,7 +1167,9 @@ - C compiler options (<xref linkend="options-C-compiler"/>) + C compiler options + + @@ -1155,7 +1194,9 @@ - Code generation options (<xref linkend="options-codegen"/>) + Code generation options + + @@ -1192,7 +1233,9 @@ - Linking options (<xref linkend="options-linker"/>) + Linking options + + @@ -1293,7 +1336,9 @@ - Replacing phases (<xref linkend="replacing-phases"/>) + Replacing phases + + @@ -1370,7 +1415,9 @@ - Forcing options to particular phases (<xref linkend="forcing-options-through"/>) + Forcing options to particular phases + + @@ -1439,8 +1486,10 @@ - Platform-specific options (<xref linkend="options-platform"/>) + Platform-specific options + + @@ -1471,7 +1520,9 @@ - External core file options (<xref linkend="ext-core"/>) + External core file options + + @@ -1497,7 +1548,9 @@ - Compiler debugging options (<xref linkend="options-debugging"/>) + Compiler debugging options + + -- 1.7.10.4