Build fix.

diff --git a/Documentation/topdocs/INSTALL.texi b/Documentation/topdocs/INSTALL.texi
index a8bfaa6153b0f179bf6d1b27e2351d18a7d88dcd..e9bfa6dd15a70270147850bdb62c7c24ce692589 100644 (file)
--- a/Documentation/topdocs/INSTALL.texi
+++ b/Documentation/topdocs/INSTALL.texi
@@ -124,7 +124,7 @@ newer. 8.50 recommended)
 @end itemize
 
 International fonts are required to create music with international text
-or lyrics.  See @ref{Fonts} for more information.
+or lyrics.
 
 
 @subsection Building documentation
@@ -363,7 +363,7 @@ or
 
 @end itemize
 
-@section Fonts
+@section International fonts
 
 On MacOs X, all fonts are installed by default.