Commit 78f9189e authored by ian@well-typed.com's avatar ian@well-typed.com
Browse files

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.
parent 717d4a2d
...@@ -27,8 +27,7 @@ I am unsure of the proper DocBook elements. ...@@ -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> <para>Andrew Tolmach, Tim Chevalier ({apt,tjc}@cs.pdx.edu) and The GHC Team</para>
<abstract> <para>This chapter provides a precise definition for the GHC Core
<para>This document provides a precise definition for the GHC Core
language, so that it can be used to communicate between GHC and new language, so that it can be used to communicate between GHC and new
stand-alone compilation tools such as back-ends or stand-alone compilation tools such as back-ends or
optimizers.<footnote> optimizers.<footnote>
...@@ -51,8 +50,6 @@ I am unsure of the proper DocBook elements. ...@@ -51,8 +50,6 @@ I am unsure of the proper DocBook elements.
formally embody the static and dynamic semantics, are available formally embody the static and dynamic semantics, are available
separately.</para> separately.</para>
</abstract>
<section id="introduction"> <section id="introduction">
<title>Introduction</title> <title>Introduction</title>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment