* Glossary: (lilypond/music-glossary). Glossary of music terms.
@end direntry
-@ifhtml
-This document is also available in
-@uref{source/Documentation/user/music-glossary.pdf,PDF}
-and as @uref{source/Documentation/user/music-glossary-big-page.html,one big page}.
-@end ifhtml
-
@titlepage
@title Music Glossary
@author Christian Mondrup @c Original author of LilyPond glossary
@ifnottex
+@ifhtml
+@ifclear bigpage
+This document is also available as a
+@uref{source/Documentation/user/music-glossary.pdf,PDF} and as
+@uref{source/Documentation/user/music-glossary-big-page.html,one big page}.
+@end ifclear
+@ifset bigpage
+This document is also available as a
+@uref{source/Documentation/user/music-glossary.pdf,PDF} and as a
+@uref{source/Documentation/user/music-glossary/index.html,HTML indexed multiple pages}.
+@end ifset
+@end ifhtml
+
This glossary was brought you by:
@itemize