diff --git a/doc/langref.html.in b/doc/langref.html.in index 1869681d05..b0552d1f17 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -4,7 +4,7 @@