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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Stefan Kangas <stefan <at> marxist.se>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#41117: closed ("Cut and paste" section name in bookmarks
 (PDF, Emacs manual))
Date: Wed, 02 Sep 2020 15:20:04 +0000

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

Your message dated Wed, 2 Sep 2020 15:19:55 +0000
with message-id <CADwFkmku4GOT8KhtqvM7oJ7WU=AXKNy1DXNkoeLmhAt3rosC6Q <at> mail.gmail.com>
and subject line Re: bug#41117: "Cut and paste" section name in bookmarks (PDF, Emacs manual)
has caused the debbugs.gnu.org bug report #41117,
regarding "Cut and paste" section name in bookmarks (PDF, Emacs manual)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
41117: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41117
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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 3 (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)]

[Message part 5 (message/rfc822, inline)]

From: Stefan Kangas <stefan <at> marxist.se>
To: Sebastian Urban <mrsebastianurban <at> gmail.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 41117-done <at> debbugs.gnu.org
Subject: Re: bug#41117: "Cut and paste" section name in bookmarks (PDF,
 Emacs manual)
Date: Wed, 2 Sep 2020 15:19:55 +0000

Sebastian Urban <mrsebastianurban <at> gmail.com> writes:

>> Sorry, no.  I don't want to fix Texinfo problems in our sources,
>> especially since these problems are subtle and the "fix" looks plainly
>> wrong to Texinfo users.  Someone will come later and delete it as a
>> mistake.
>> We will have to wait until Texinfo fixes this.
>
> OK.
>
> I guess this bug can remain open until fix for Texinfo arrive
> somewhere in the future.  But if you want another report in the
> future, because it may take some time, feel free to close this one.

It's enough that texinfo tracks this bug on their end, so I'm closing
this bug report.

Thanks for reporting the bug to the texinfo maintainers.

Previous Next

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