diff --git a/doc/langref.html.in b/doc/langref.html.in index 54677bc5b578684f71f26e0c1c00eba5fd194f40..761cd721256f29fa2cdb0af370496b6707535197 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -826,6 +826,7 @@ a +%= b Wrapping Addition.