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) |
stdenv: Move devhelp books to outputDevdoc
Diffstat (limited to '')
-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 a2acc91e55a..2f23da8df01 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> |