public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Mark Wright" <gienah@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/files/
Date: Mon, 28 Mar 2022 13:42:20 +0000 (UTC)	[thread overview]
Message-ID: <1648474934.6c2708dd89c8d5b69db1bb9d97d499705762076a.gienah@gentoo> (raw)

commit:     6c2708dd89c8d5b69db1bb9d97d499705762076a
Author:     Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 28 13:40:59 2022 +0000
Commit:     Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Mon Mar 28 13:42:14 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c2708dd

sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.

Thanks to Agostino Sarubbo and Sam James for reporting and helping.
Apply patch by Jouni Kosonen to fix old-style emacs backquotes.

Closes: https://bugs.gentoo.org/836270
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Mark Wright <gienah <AT> gentoo.org>

 ...f-1.7.1-emacs-fix-old-style-backquotes-p3.patch | 23 ++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
index b5f13b114456..e15d838942e7 100644
--- a/sci-mathematics/twelf/files/twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
@@ -1,13 +1,28 @@
 diff --git a/emacs/auc-menu.el b/emacs/auc-menu.el
-index f6483b0..602c6fc 100644
+index f6483b0..80fe660 100644
 --- a/emacs/auc-menu.el
 +++ b/emacs/auc-menu.el
-@@ -92,7 +92,7 @@
+@@ -92,10 +92,10 @@
  (defmacro easy-menu-define (symbol maps doc menu)
    "Define SYMBOL to be a menu for keymaps MAPS.
  DOC is the documentation string, and MENU is a Lucid style menu."
 -  (` (progn
-+  `( (progn
++    `(progn
         (require 'auc-menu)		;For `easy-menu-do-define'.
         (defvar (, symbol) nil (, doc))
-        (easy-menu-do-define (quote (, symbol)) (, maps) (, doc) (, menu)))))
+-       (easy-menu-do-define (quote (, symbol)) (, maps) (, doc) (, menu)))))
++       (easy-menu-do-define (quote (, symbol)) (, maps) (, doc) (, menu))))
+ 
+ (cond 
+ 
+@@ -212,8 +212,8 @@ DOC is the documentation string, and MENU is a Lucid style menu."
+ 
+ (defun easy-menu-do-define (symbol maps doc menu)
+   (set symbol (easy-menu-create-keymaps (car menu) (cdr menu)))
+-  (fset symbol (` (lambda (event) (, doc) (interactive "@e")
+-		    (easy-popup-menu event (, symbol)))))
++  (fset symbol `(lambda (event) (, doc) (interactive "@e")
++		    (easy-popup-menu event (, symbol))))
+   (mapcar (function (lambda (map) 
+ 	    (define-key map (vector 'menu-bar (intern (car menu)))
+ 	      (cons (car menu) (symbol-value symbol)))))


             reply	other threads:[~2022-03-28 13:42 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-03-28 13:42 Mark Wright [this message]
  -- strict thread matches above, loose matches on Subject: below --
2022-03-28 13:42 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/twelf/files/ Mark Wright

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1648474934.6c2708dd89c8d5b69db1bb9d97d499705762076a.gienah@gentoo \
    --to=gienah@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox