[project @ 2000-06-12 15:47:27 by simonmar]

add an id to the dependency section

diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml
index e3f63e9..214eabd 100644 (file)
--- 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>