gnu: cedille: Install the info pages.

* gnu/packages/cedille.scm (cedille)[arguments]: Rename phase
'patch-cedille-path-el' to 'patch-cedille-paths' and add substitution for the
info page location.   In the 'copy-cedille-mode' phase, install the info page.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
This commit is contained in:
John Soo 2020-03-28 10:30:48 -07:00 committed by Marius Bakke
parent a8f1b52017
commit be41d7d91d
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA

View file

@ -51,15 +51,19 @@ (define-public cedille
(arguments
`(#:phases
(modify-phases %standard-phases
(add-after 'unpack 'patch-cedille-path-el
(add-after 'unpack 'patch-cedille-paths
(lambda* (#:key outputs #:allow-other-keys)
(let ((out (assoc-ref outputs "out")))
(substitute* "cedille-mode.el"
(("/usr/share/emacs/site-lisp/cedille-mode")
(string-append
out "/share/emacs/site-lisp/cedille")))
(substitute* "cedille-mode/cedille-mode-info.el"
(("\\(concat cedille-path-el \"cedille-info-main.info\"\\)")
(string-append
"\"" out "/share/info/cedille-info-main.info.gz\"")))
#t)))
(add-after 'unpack 'copy-cedille-mode
(add-after 'patch-cedille-paths 'copy-cedille-mode
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
(lisp
@ -107,6 +111,8 @@ (define-public cedille
(install-file "cedille" (string-append out "/bin"))
(install-file "core/cedille-core"
(string-append out "/bin"))
(install-file "docs/info/cedille-info-main.info"
(string-append out "/share/info"))
#t))))))
(home-page "https://cedille.github.io/")
(synopsis