diff options
| author | John Soo <jsoo1@asu.edu> | 2020-03-28 10:30:48 -0700 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-04-02 20:55:14 +0200 |
| commit | be41d7d91df123a454e871190f1bb2711409bfa8 (patch) | |
| tree | 869ef726c3274c41b319de3f6c3864d624ae4692 /gnu/packages/gnome.scm | |
| parent | a8f1b52017820c87b9bb38abb42b48d8059688d3 (diff) | |
| download | guix-be41d7d91df123a454e871190f1bb2711409bfa8.tar.gz | |
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>
Diffstat (limited to 'gnu/packages/gnome.scm')
0 files changed, 0 insertions, 0 deletions