From: rrt <unknown>
Date: Wed, 24 May 2000 15:03:49 +0000 (+0000)
Subject: [project @ 2000-05-24 15:03:49 by rrt]
X-Git-Tag: Approximately_9120_patches~4383
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=bcfa405bc129b7a0124e5903099fdb15c6a510de;hp=8c84744052c06b3585b042817364d37b6a65a169;p=ghc-hetmet.git

[project @ 2000-05-24 15:03:49 by rrt]
Added a few ids to stop weirdly-named web pages being built for sections
without ids.
---

diff --git a/docs/building.sgml b/docs/building.sgml
index 448c601..2c9d107 100644
--- a/docs/building.sgml
+++ b/docs/building.sgml
@@ -172,7 +172,7 @@ manual in detail.
 
 </Sect1>
 
-<Sect1>
+<Sect1 id="sec-build-checks">
 <Title>Things to check before you start typing</Title>
 
 <Para>
@@ -1451,7 +1451,7 @@ User's Guide section on "Separate Compilation").
 
 </Sect1>
 
-<Sect1>
+<Sect1 id="sec-makefile-arch">
 <Title>The <Filename>Makefile</Filename> architecture
 <IndexTerm><Primary>makefile architecture</Primary></IndexTerm></Title>