diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/MANUAL.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/MANUAL.html b/doc/MANUAL.html index a1f3875..44379e9 100644 --- a/doc/MANUAL.html +++ b/doc/MANUAL.html @@ -860,8 +860,8 @@ The two equivalents to the meta-key are pressing simultaneously the ALT-key or p M </td> <td> - Browse current document using external browser (prefix 2 or 3 to - invoke alternate configured browsers, e.g. 3 M) + Browse current document using external browser (prefix 2, 3, ..., + or 9 to invoke alternate configured browsers, e.g. 3 M) </td> </tr> <tr> @@ -1725,8 +1725,8 @@ The two equivalents to the meta-key are pressing simultaneously the ALT-key or p M </td> <td> - Browse current document using external browser (prefix 2 or 3 to - invoke alternate configured browsers, e.g. 3 M) + Browse current document using external browser (prefix 2, 3, ..., + or 9 to invoke alternate configured browsers, e.g. 3 M) </td> </tr> <tr> |