emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#44228: closed ([PATCH] gnu: emacs-with-editor: Add info page.)


From: GNU bug Tracking System
Subject: bug#44228: closed ([PATCH] gnu: emacs-with-editor: Add info page.)
Date: Tue, 27 Oct 2020 21:15:01 +0000

Your message dated Tue, 27 Oct 2020 22:14:29 +0100
with message-id <877drb4bii.fsf@nicolasgoaziou.fr>
and subject line Re: [bug#44228] [PATCH] gnu: emacs-with-editor: Add info page.
has caused the debbugs.gnu.org bug report #44228,
regarding [PATCH] gnu: emacs-with-editor: Add info page.
to be marked as done.

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


-- 
44228: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44228
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH] gnu: emacs-with-editor: Add info page. Date: Mon, 26 Oct 2020 05:03:21 +0100
* gnu/packages/emacs-xyz.scm (emacs-with-editor): Add info page.
[arguments]: Add phase make-info.
[native-inputs]: Add texinfo.
---
 gnu/packages/emacs-xyz.scm | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 7dba5c50b8..a16eae9d17 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -401,6 +401,15 @@ configuration files, such as .gitattributes, .gitignore, 
and .git/config.")
          (sha256
           (base32 "01ysb9pnscpmingay6njdywkqgj4hn5l5d9igsg3x7p7061jwwix"))))
       (build-system emacs-build-system)
+      (arguments
+       `(#:phases
+         (modify-phases %standard-phases
+           (add-before 'install 'make-info
+             (lambda _
+               (invoke "makeinfo" "--no-split"
+                       "-o" "with-editor.info" "with-editor.texi"))))))
+      (native-inputs
+       `(("texinfo" ,texinfo)))
       (propagated-inputs
        `(("emacs-dash" ,emacs-dash)))
       (home-page "https://github.com/magit/with-editor";)
-- 
2.28.0




--- End Message ---
--- Begin Message --- Subject: Re: [bug#44228] [PATCH] gnu: emacs-with-editor: Add info page. Date: Tue, 27 Oct 2020 22:14:29 +0100 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Hello,

Michael Rohleder <mike@rohleder.de> writes:

> * gnu/packages/emacs-xyz.scm (emacs-with-editor): Add info page.

Applied. Thank you.

Regards,
-- 
Nicolas Goaziou


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]