diff options
author | Orivej Desh <orivej@gmx.fr> | 2017-11-25 23:14:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-25 23:14:47 +0000 |
commit | 29b2984b0c596403f51ada8015d26e4c35fae1e8 (patch) | |
tree | 2406d0acc1245e94b717bd94078de53da125e550 /doc | |
parent | 7641f1122aaa2e47ba9055ad5e6b98c5f8b7138f (diff) | |
parent | 2bffd5f45fdbd346fa288d30b544860387a10783 (diff) |
Merge pull request #31987 from jtojnar/devhelp-devdoc
stdenv: Move devhelp books to outputDevdoc
Diffstat (limited to 'doc')
-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 a2acc91e55a2e..2f23da8df01ee 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> |