diff --git a/Manual/Description/description.tex b/Manual/Description/description.tex index b31c2fa47a..956788105b 100644 --- a/Manual/Description/description.tex +++ b/Manual/Description/description.tex @@ -130,6 +130,8 @@ % Index % --------------------------------------------------------------------- +\index{modern syntax@``modern syntax''|see{special syntactic forms for scripts}} + \small \emergencystretch=14pt \printindex