From 355eb767d9b0013908980035cdfee361333c3280 Mon Sep 17 00:00:00 2001
From: Jai Vetrivelan <jaivetrivelan@gmail.com>
Date: Sun, 20 Mar 2022 17:27:00 +0530
Subject: [PATCH 5/6] gnu: emacs-modus-themes: Add Info manual.

* gnu/packages/emacs-xyz.scm (emacs-modus-themes): Add Info manual.
---
 gnu/packages/emacs-xyz.scm | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index a9aca35d65..6f69d30e86 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -27454,7 +27454,21 @@ (define-public emacs-modus-themes
        (file-name (git-file-name name version))
        (sha256
         (base32 "1mnfbr312dqifsdngb29kvggfirfclc9ncaw5srd52hnwc5n0rxi"))))
+    (native-inputs (list texinfo))
     (build-system emacs-build-system)
+    (arguments
+     `(#:phases
+       (modify-phases %standard-phases
+         (add-after 'install 'makeinfo
+           (lambda* (#:key outputs #:allow-other-keys)
+             (invoke "emacs"
+                     "--batch"
+                     "--eval=(require 'ox-texinfo)"
+                     "--eval=(find-file \"doc/modus-themes.org\")"
+                     "--eval=(org-texinfo-export-to-info)")
+             (install-file "doc/modus-themes.info"
+                           (string-append (assoc-ref outputs "out")
+                                          "/share/info")))))))
     (home-page "https://protesilaos.com/modus-themes/")
     (synopsis "Accessible themes (WCAG AAA)")
     (description
@@ -27467,7 +27481,7 @@ (define-public emacs-modus-themes
 Vivendi (modus-vivendi) is dark.  Each theme’s color palette is designed to
 meet the needs of the numerous interfaces that are possible in the Emacs
 computing environment.")
-    (license license:gpl3+)))
+    (license license:gpl3+))) ; GFDLv1.3+ for the manual
 
 (define-public emacs-punpun-theme
   (let ((commit "7026684cd568cb691af3ced5de14c375fe6f5a1a")
-- 
2.34.0