patch::: 1.5.9.jcn2

[lilypond.git] / Documentation / topdocs / AUTHORS.texi

diff --git a/Documentation/topdocs/AUTHORS.texi b/Documentation/topdocs/AUTHORS.texi
index ae8064175e81e53290753522b0ea5b61c266c80a..01701732aa39490eae90130cf63306758c7bdb7d 100644 (file)
--- a/Documentation/topdocs/AUTHORS.texi
+++ b/Documentation/topdocs/AUTHORS.texi
@@ -2,6 +2,10 @@
 @setfilename AUTHORS.info
 @settitle AUTHORS - who did what on GNU LilyPond-
 
+@html
+<!--- @@WEB-TITLE@@=Authors --->
+@end html
+
 @node Top
 @top
 @menu