diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-04-17 19:39:41 +0100 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-04-17 19:39:41 +0100 |
commit | 78f9189e49b5f1e57610429959c4054d7e27a24f (patch) | |
tree | 93682137e257eab659d0bd07175d7616320112eb /docs/users_guide | |
parent | 717d4a2d5728a58c790457d71b53ca1cd57c086b (diff) | |
download | haskell-78f9189e49b5f1e57610429959c4054d7e27a24f.tar.gz |
Fix page numbering in the users guide PDF; fixes #7793
The external core chapter had an abstract, which seems to reset the
page count to 0.
Diffstat (limited to 'docs/users_guide')
-rw-r--r-- | docs/users_guide/external_core.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/users_guide/external_core.xml b/docs/users_guide/external_core.xml index faf7148f20..bc9d350d34 100644 --- a/docs/users_guide/external_core.xml +++ b/docs/users_guide/external_core.xml @@ -27,8 +27,7 @@ I am unsure of the proper DocBook elements. <para>Andrew Tolmach, Tim Chevalier ({apt,tjc}@cs.pdx.edu) and The GHC Team</para> - <abstract> - <para>This document provides a precise definition for the GHC Core + <para>This chapter provides a precise definition for the GHC Core language, so that it can be used to communicate between GHC and new stand-alone compilation tools such as back-ends or optimizers.<footnote> @@ -51,8 +50,6 @@ I am unsure of the proper DocBook elements. formally embody the static and dynamic semantics, are available separately.</para> - </abstract> - <section id="introduction"> <title>Introduction</title> |