summaryrefslogtreecommitdiff
path: root/docs/users_guide
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-04-17 19:39:41 +0100
committerIan Lynagh <ian@well-typed.com>2013-04-17 19:39:41 +0100
commit78f9189e49b5f1e57610429959c4054d7e27a24f (patch)
tree93682137e257eab659d0bd07175d7616320112eb /docs/users_guide
parent717d4a2d5728a58c790457d71b53ca1cd57c086b (diff)
downloadhaskell-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.xml5
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>