small typo building the docs. also we had release candidates before, now reverting to beta names. is this expected?
Matthias $ diff -u doc/rltech.texi~ doc/rltech.texi --- doc/rltech.texi~ 2016-04-26 16:06:14.000000000 +0200 +++ doc/rltech.texi 2016-07-25 20:54:04.831406778 +0200 @@ -1531,7 +1531,7 @@ @{ rl_resize_terminal (); sigwinch_received = 0; - }@ + @} if (r < 0) continue;