diff --git a/doc/langref.html.in b/doc/langref.html.in index 3d3294e1e534..b1768e8bbdb4 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -7105,10 +7105,12 @@ coding style.