diff --git a/doc/langref.html.in b/doc/langref.html.in index 495f7bc477..0ebc1a3c21 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -3,6 +3,7 @@