From bed2727e6c4f5459631505d60b77b5a505b518c7 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 12 Jun 2000 15:47:27 +0000
Subject: [PATCH] [project @ 2000-06-12 15:47:27 by simonmar] add an id to the
 dependency section

---
 ghc/docs/users_guide/using.sgml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml
index e3f63e9d7cc5..214eabd00f1b 100644
--- a/ghc/docs/users_guide/using.sgml
+++ b/ghc/docs/users_guide/using.sgml
@@ -1149,7 +1149,8 @@ nicely.
 
     </sect2>
 
-    <sect2><title>Dependency generation</title>
+    <sect2 id="sec-makefile-dependencies">
+      <title>Dependency generation</title>
       <indexterm><primary>dependencies in Makefiles</primary></indexterm>
       <indexterm><primary>Makefile dependencies</primary></indexterm>
 
-- 
GitLab