[[project @ 2005-03-01 14:59:18 by simonmar]
simonmar**20050301145918
 Work around bugs in DocBook XSL stylesheets: don't put
 cross-references in section headers.
] {
hunk ./ghc/docs/users_guide/flags.xml 11
-      <title>Help and verbosity options (<xref linkend="options-help"/>)</title>
+      <title>Help and verbosity options</title>
+
+      <para><xref linkend="options-help"/></para>
hunk ./ghc/docs/users_guide/flags.xml 86
-      <title>Which phases to run (<xref linkend="options-order"/>)</title>
+      <title>Which phases to run</title>
hunk ./ghc/docs/users_guide/flags.xml 88
+      <para><xref linkend="options-order"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 131
-      <title>Alternative modes of operation (<xref linkend="modes"/>)</title>
+      <title>Alternative modes of operation</title>
hunk ./ghc/docs/users_guide/flags.xml 133
+      <para><xref linkend="modes"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 182
-      <title>Redirecting output (<xref linkend="options-output"/>)</title>
+      <title>Redirecting output</title>
hunk ./ghc/docs/users_guide/flags.xml 184
+      <para><xref linkend="options-output"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 245
-      <title>Keeping intermediate files (<xref linkend="keeping-intermediates"/>)</title>
+      <title>Keeping intermediate files</title>
+      
+      <para><xref linkend="keeping-intermediates"/></para>
hunk ./ghc/docs/users_guide/flags.xml 290
-      <title>Temporary files (<xref linkend="temp-files"/>)</title>
+      <title>Temporary files</title>
hunk ./ghc/docs/users_guide/flags.xml 292
+      <para><xref linkend="temp-files"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 317
-      <title>Finding imports (<xref linkend="search-path"/>)</title>
+      <title>Finding imports</title>
+
+      <para><xref linkend="search-path"/></para>
hunk ./ghc/docs/users_guide/flags.xml 352
-      <title>Interface file options (<xref linkend="hi-options"/>)</title>
+      <title>Interface file options</title>
+
+      <para><xref linkend="hi-options"/></para>
hunk ./ghc/docs/users_guide/flags.xml 400
-      <title>Recompilation checking (<xref linkend="recomp"/>)</title>
+      <title>Recompilation checking</title>
+
+      <para><xref linkend="recomp"/></para>
hunk ./ghc/docs/users_guide/flags.xml 429
-      <title>Interactive-mode options (<xref linkend="ghci-dot-files"/>)</title>
+      <title>Interactive-mode options</title>
hunk ./ghc/docs/users_guide/flags.xml 431
+      <para><xref linkend="ghci-dot-files"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 462
-      <title>Packages (<xref linkend="packages"/>)</title>
+      <title>Packages</title>
+
+      <para><xref linkend="packages"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 513
-      <title>Language options (<xref linkend="options-language"/>)</title>
+      <title>Language options</title>
+
+      <para><xref linkend="options-language"/></para>
hunk ./ghc/docs/users_guide/flags.xml 628
-      <title>Warnings (<xref linkend="options-sanity"/>)</title>
+      <title>Warnings</title>
hunk ./ghc/docs/users_guide/flags.xml 630
+      <para>(<xref linkend="options-sanity"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 795
-      <title>Optimisation levels (<xref linkend="options-optimise"/>)</title>
+      <title>Optimisation levels</title>
+
+      <para><xref linkend="options-optimise"/></para>
hunk ./ghc/docs/users_guide/flags.xml 828
-      <title>Individual optimisations (<xref linkend="options-f"/>)</title>
+      <title>Individual optimisations</title>
+
+      <para><xref linkend="options-f"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1026
-      <title>Profiling options (<xref linkend="profiling"/>)</title>
+      <title>Profiling options</title>
+      
+      <para><xref linkend="profiling"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1085
-      <title>Parallelism options (<xref linkend="sec-using-parallel"/>)</title>
+      <title>Parallelism options</title>
+
+      <para><xref linkend="sec-using-parallel"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1124
-      <title>C pre-processor options (<xref linkend="c-pre-processor"/>)</title>
+      <title>C pre-processor options</title>
+
+      <para><xref linkend="c-pre-processor"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1170
-      <title>C compiler options (<xref linkend="options-C-compiler"/>)</title>
+      <title>C compiler options</title>
+
+      <para><xref linkend="options-C-compiler"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1197
-      <title>Code generation options (<xref linkend="options-codegen"/>)</title>
+      <title>Code generation options</title>
+
+      <para><xref linkend="options-codegen"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1236
-      <title>Linking options (<xref linkend="options-linker"/>)</title>
+      <title>Linking options</title>
+
+      <para><xref linkend="options-linker"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1339
-      <title>Replacing phases (<xref linkend="replacing-phases"/>)</title>
+      <title>Replacing phases</title>
+
+      <para><xref linkend="replacing-phases"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1418
-      <title>Forcing options to particular phases (<xref linkend="forcing-options-through"/>)</title>
+      <title>Forcing options to particular phases</title>
+
+      <para><xref linkend="forcing-options-through"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1489
-      <title>Platform-specific options (<xref linkend="options-platform"/>)</title>
+      <title>Platform-specific options</title>
hunk ./ghc/docs/users_guide/flags.xml 1491
+      <para><xref linkend="options-platform"/></para>
+
hunk ./ghc/docs/users_guide/flags.xml 1523
-      <title>External core file options (<xref linkend="ext-core"/>)</title>
+      <title>External core file options</title>
+
+      <para><xref linkend="ext-core"/></para>
hunk ./ghc/docs/users_guide/flags.xml 1551
-      <title>Compiler debugging options (<xref linkend="options-debugging"/>)</title>
+      <title>Compiler debugging options</title>
+
+      <para><xref linkend="options-debugging"/></para>
}