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;
