diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml index e3f63e9d7cc5102d67e46662a3d1a90ed9bb6bcd..214eabd00f1bcf4884a925f2c5e548bf598ede1c 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>