diff --git a/doc/langref.html.in b/doc/langref.html.in index 84f03e8f84..2682156f5f 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -34,6 +34,7 @@