From 4d28b97c46e9d9ff201df7cdc8f28b78155eea82 Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Tue, 15 Dec 2015 22:22:59 +0100 Subject: gnu: bash: Add "doc" output. * gnu/packages/bash.scm (bash)[outputs]: Add "doc" output. --- gnu/packages/bash.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'gnu/packages') diff --git a/gnu/packages/bash.scm b/gnu/packages/bash.scm index 9d544dbb9e..15909c7e88 100644 --- a/gnu/packages/bash.scm +++ b/gnu/packages/bash.scm @@ -183,8 +183,9 @@ (define-public bash (build-system gnu-build-system) (outputs '("out" - "include")) ;headers used by extensions - (native-inputs `(("bison" ,bison))) ;to rebuild the parser + "doc" ;1.7 MiB of HTML and extra files + "include")) ;headers used by extensions + (native-inputs `(("bison" ,bison))) ;to rebuild the parser (inputs `(("readline" ,readline) ("ncurses" ,ncurses))) ;TODO: add texinfo (arguments @@ -212,7 +213,7 @@ (define-public bash #:phases (modify-phases %standard-phases (add-after 'install 'post-install ,post-install-phase) (add-after 'install 'install-headers - ,install-headers-phase)))) + ,install-headers-phase)))) (synopsis "The GNU Bourne-Again SHell") (description "Bash is the shell, or command-line interpreter, of the GNU system. It -- cgit v1.2.3