diff options
| author | Glenn Morris | 2012-02-29 00:11:23 -0800 |
|---|---|---|
| committer | Glenn Morris | 2012-02-29 00:11:23 -0800 |
| commit | 775b55af35d47aa5b540a7440e8dde2c53787a65 (patch) | |
| tree | 4594e0977d46ade19f8d3bd86dfd7fb02d83f4ff /doc/misc/ChangeLog | |
| parent | 53eced6df880456784f2c9b788c6aea67d195a1b (diff) | |
| download | emacs-775b55af35d47aa5b540a7440e8dde2c53787a65.tar.gz emacs-775b55af35d47aa5b540a7440e8dde2c53787a65.zip | |
Use "" quotes in menus
This is already used in most places. ``...'' does not get specially
converted by texinfo in @menu descriptions.
* doc/emacs/emacs.texi, doc/emacs/help.texi, doc/emacs/text.texi:
* doc/lispref/elisp.texi, doc/lispref/vol1.texi, doc/lispref/vol2.texi:
* doc/misc/sem-user.texi, doc/misc/url.texi, doc/misc/woman.texi:
Use "" quotes in menus.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 6232f0a62dd..803ec8a8982 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | 2012-02-29 Glenn Morris <rgm@gnu.org> | 1 | 2012-02-29 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * sem-user.texi, url.texi, woman.texi: Use "" quotes in menus. | ||
| 4 | |||
| 3 | * cl.texi: Use @code{} in menus when appropriate. | 5 | * cl.texi: Use @code{} in menus when appropriate. |
| 4 | 6 | ||
| 5 | 2012-02-28 Glenn Morris <rgm@gnu.org> | 7 | 2012-02-28 Glenn Morris <rgm@gnu.org> |