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;


Reply via email to