From f584ca38928d95273cd9627f1f40ae95f28a7620 Mon Sep 17 00:00:00 2001 From: Lars Magne Ingebrigtsen Date: Mon, 11 Jul 2011 22:52:09 +0200 Subject: [PATCH] * emacs.texi: Use "..." instead of ``...'' in the menus --- doc/emacs/ChangeLog | 5 +++++ doc/emacs/emacs.texi | 6 +++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog index e72edf77acc..79558a3ff47 100644 --- a/doc/emacs/ChangeLog +++ b/doc/emacs/ChangeLog @@ -1,3 +1,8 @@ +2011-07-11 Lars Magne Ingebrigtsen + + * emacs.texi: Use "..." instead of ``...'' in the menus + (bug#3503). + 2011-07-11 Chong Yidong * killing.texi (Primary Selection): Document `only' setting for diff --git a/doc/emacs/emacs.texi b/doc/emacs/emacs.texi index 2591f56a168..256cdf3b5c2 100644 --- a/doc/emacs/emacs.texi +++ b/doc/emacs/emacs.texi @@ -164,7 +164,7 @@ Fundamental Editing Commands * Help:: Commands for asking Emacs about its commands. Important Text-Changing Commands -* Mark:: The mark: how to delimit a ``region'' of text. +* Mark:: The mark: how to delimit a "region" of text. * Killing:: Killing (cutting) text. * Yanking:: Recovering killed text. Moving text. (Pasting.) * Cut and Paste:: Clipboard and selections on graphical displays. @@ -200,7 +200,7 @@ Advanced Features @end ifnottex * Sending Mail:: Sending mail in Emacs. * Rmail:: Reading mail in Emacs. -* Dired:: You can ``edit'' a directory to manage files in it. +* Dired:: You can "edit" a directory to manage files in it. * Calendar/Diary:: The calendar and diary facilities. * Document View:: Viewing PDF, PS and DVI files. * Gnus:: A flexible mail and news reader. @@ -1066,7 +1066,7 @@ Customization to decide what to do; by setting variables, you can control their functioning. * Key Bindings:: Keymaps say what command each key runs. - By changing them, you can ``redefine'' keys. + By changing them, you can "redefine" keys. * Init File:: How to write common customizations in the @file{.emacs} file. -- 2.39.5