From bcfa405bc129b7a0124e5903099fdb15c6a510de Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Wed, 24 May 2000 15:03:49 +0000
Subject: [PATCH] [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.

---
 docs/building.sgml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/building.sgml b/docs/building.sgml
index 448c601aa43b..2c9d107637f4 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>
 
-- 
GitLab