GNU bug report logs - #41117
"Cut and paste" section name in bookmarks (PDF, Emacs manual)

Previous Next

Full log

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Sebastian Urban <mrsebastianurban <at> gmail.com>
To: Bug GNU Emacs <bug-gnu-emacs <at> gnu.org>
Subject: "Cut and paste" section name in bookmarks (PDF, Emacs manual)
Date: Thu, 7 May 2020 01:33:23 +0200

[Message part 1 (text/plain, inline)]

Hello,

I'm not sure about it, because it's against convention of using
``...'' in source file, but it's for '@section', so it's kind of
special case, which means it may be acceptable.

Attached picture shows before/after.

--- old/killing.texi    2020-05-03 01:31:57.259190700 +0200
+++ new/killing.texi    2020-05-06 23:39:16.942404300 +0200
@@ -452,7 +452,7 @@
 append to the text that @kbd{M-w} copied into the kill ring.

 @node Cut and Paste
-@section ``Cut and Paste'' Operations on Graphical Displays
+@section “Cut and Paste” Operations on Graphical Displays
 @cindex cut
 @cindex copy
 @cindex paste


S. U.

[killing.png (image/png, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.