diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2017-11-23 20:21:32 +0100 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2017-11-24 02:09:44 +0100 |
| commit | 70a0580e3807c90f05665d0decae2e7032347f29 (patch) | |
| tree | 08a53b970b047c31cb2b6e79429f2fe9f9a0d5fd /doc/multiple-output.xml | |
| parent | d6d96c3274a1b0dac6fa56f382719168f9a188af (diff) | |
| download | nixlib-70a0580e3807c90f05665d0decae2e7032347f29.tar nixlib-70a0580e3807c90f05665d0decae2e7032347f29.tar.gz nixlib-70a0580e3807c90f05665d0decae2e7032347f29.tar.bz2 nixlib-70a0580e3807c90f05665d0decae2e7032347f29.tar.lz nixlib-70a0580e3807c90f05665d0decae2e7032347f29.tar.xz nixlib-70a0580e3807c90f05665d0decae2e7032347f29.tar.zst nixlib-70a0580e3807c90f05665d0decae2e7032347f29.zip | |
stdenv: Move devhelp books to outputDevdoc
Diffstat (limited to 'doc/multiple-output.xml')
| -rw-r--r-- | doc/multiple-output.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/multiple-output.xml b/doc/multiple-output.xml index a2acc91e55a2..2f23da8df01e 100644 --- a/doc/multiple-output.xml +++ b/doc/multiple-output.xml @@ -68,7 +68,7 @@ <varlistentry><term><varname> $outputDevdoc</varname></term><listitem><para> - is for <emphasis>developer</emphasis> documentation. Currently we count gtk-doc in there. It goes to <varname>devdoc</varname> or is removed (!) by default. This is because e.g. gtk-doc tends to be rather large and completely unused by nixpkgs users. + is for <emphasis>developer</emphasis> documentation. Currently we count gtk-doc and devhelp books in there. It goes to <varname>devdoc</varname> or is removed (!) by default. This is because e.g. gtk-doc tends to be rather large and completely unused by nixpkgs users. </para></listitem></varlistentry> <varlistentry><term><varname> |