diff --git a/doc/langref.html.in b/doc/langref.html.in index a73e5d94d9..d1d8e0aa77 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -4,6 +4,7 @@