gnu: bash: Add "doc" output.

* gnu/packages/bash.scm (bash)[outputs]: Add "doc" output.
This commit is contained in:
Ludovic Courtès 2015-12-15 22:22:59 +01:00
parent 304e4f5135
commit 4d28b97c46

View File

@ -183,8 +183,9 @@ number/base32-hash tuples, directly usable in the 'patch-series' form."
(build-system gnu-build-system) (build-system gnu-build-system)
(outputs '("out" (outputs '("out"
"include")) ;headers used by extensions "doc" ;1.7 MiB of HTML and extra files
(native-inputs `(("bison" ,bison))) ;to rebuild the parser "include")) ;headers used by extensions
(native-inputs `(("bison" ,bison))) ;to rebuild the parser
(inputs `(("readline" ,readline) (inputs `(("readline" ,readline)
("ncurses" ,ncurses))) ;TODO: add texinfo ("ncurses" ,ncurses))) ;TODO: add texinfo
(arguments (arguments
@ -212,7 +213,7 @@ number/base32-hash tuples, directly usable in the 'patch-series' form."
#:phases (modify-phases %standard-phases #:phases (modify-phases %standard-phases
(add-after 'install 'post-install ,post-install-phase) (add-after 'install 'post-install ,post-install-phase)
(add-after 'install 'install-headers (add-after 'install 'install-headers
,install-headers-phase)))) ,install-headers-phase))))
(synopsis "The GNU Bourne-Again SHell") (synopsis "The GNU Bourne-Again SHell")
(description (description
"Bash is the shell, or command-line interpreter, of the GNU system. It "Bash is the shell, or command-line interpreter, of the GNU system. It