diff --git a/doc/langref.html.in b/doc/langref.html.in index 074c324de7357c983a918a59a56c05a7d8d4133a..f50bdbf2f06acaa19b9cd63527fbc319cdb75dbc 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -1459,7 +1459,15 @@ a >>= b{#endsyntax#}