escape special html characters in key descriptions

[sheet.git] / readline.plp

diff --git a/readline.plp b/readline.plp
index c849921fcfd47413565ccab9264288b854888ecf..06c8e30fb98a291c49728e2f19fddcf18f68fcf6 100644 (file)
--- a/readline.plp
+++ b/readline.plp
@@ -82,8 +82,10 @@ $keys->print_rows($get{rows} || '^x=213', [4,3,2]);
                <dl class="legend legend-options">
                <dt>key<:= $sign{arg} :>
                        <dd>Commands with a dot need a char argument afterwards.
                <dl class="legend legend-options">
                <dt>key<:= $sign{arg} :>
                        <dd>Commands with a dot need a char argument afterwards.

+               <dt class="new">&gt;v2.0
+                       <dd>Unavailable before readline version 2.1 (1997).

                <dt class="ext">bash
                <dt class="ext">bash

-                       <dd>Default assignment in Bash shells, but not common readline
+                       <dd>Default assignment in Bash shells, but not common readline.

                </dl>
 
                <ul class="legend legend-set">
                </dl>
 
                <ul class="legend legend-set">