diff options
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 c4e92c7e79a2e..b7a363c750e61 100644 --- a/doc/multiple-output.xml +++ b/doc/multiple-output.xml @@ -68,7 +68,7 @@ </para></listitem></varlistentry> <varlistentry><term><varname> - $outputDocdev</varname></term><listitem><para> + $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. </para></listitem></varlistentry> |