diff options
author | ng0 <ng0@infotropique.org> | 2017-08-17 12:31:40 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-08-17 12:31:40 +0000 |
commit | 0aecb9fb029fc58bce4e124b26b6bb2d8ee007c9 (patch) | |
tree | baac69f14cebdd2b2c5ac09e442dc30bb84fe039 /guix-env.scm | |
parent | 2f511cee1b712d8382ab11bc1968a79db94a8aa9 (diff) | |
download | gnunet-0aecb9fb029fc58bce4e124b26b6bb2d8ee007c9.tar.gz gnunet-0aecb9fb029fc58bce4e124b26b6bb2d8ee007c9.zip |
guix-env.scm: add texinfo.
doc: fixes.
Signed-off-by: ng0 <ng0@infotropique.org>
Diffstat (limited to 'guix-env.scm')
-rw-r--r-- | guix-env.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/guix-env.scm b/guix-env.scm index 9d4430097..54731858e 100644 --- a/guix-env.scm +++ b/guix-env.scm | |||
@@ -81,6 +81,7 @@ | |||
81 | (gnu packages pulseaudio) | 81 | (gnu packages pulseaudio) |
82 | (gnu packages python) | 82 | (gnu packages python) |
83 | (gnu packages tex) | 83 | (gnu packages tex) |
84 | (gnu packages texinfo) | ||
84 | (gnu packages tls) | 85 | (gnu packages tls) |
85 | (gnu packages video) | 86 | (gnu packages video) |
86 | (gnu packages web) | 87 | (gnu packages web) |
@@ -133,6 +134,7 @@ | |||
133 | ("autoconf" ,autoconf) | 134 | ("autoconf" ,autoconf) |
134 | ("automake" ,automake) | 135 | ("automake" ,automake) |
135 | ("gnu-gettext" ,gnu-gettext) | 136 | ("gnu-gettext" ,gnu-gettext) |
137 | ("texinfo" ,texinfo) | ||
136 | ("libtool" ,libtool))) | 138 | ("libtool" ,libtool))) |
137 | ;; TODO: To make use of out:debug, which carries the symbols, | 139 | ;; TODO: To make use of out:debug, which carries the symbols, |
138 | ;; this file needs to fixed. | 140 | ;; this file needs to fixed. |