Docs: Add a short TOC to the glossary

diff --git a/Documentation/user/music-glossary.tely b/Documentation/user/music-glossary.tely
index de41a6dcd96412cdf0560e58e58b401866e5bb17..76066e259a49f1a39548fb66936b32befedc11fc 100644 (file)
--- a/Documentation/user/music-glossary.tely
+++ b/Documentation/user/music-glossary.tely
@@ -102,6 +102,7 @@ This is the Music Glossary (MG) for GNU LilyPond version @version{}.
 For more information about how this fits with the other
 documentation, see @rlearning{About the documentation}.
 
+@shortcontents
 
 @c arrowref
 @macro aref{word}