diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-09-20 16:51:51 +0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-09-20 17:44:48 +0200 |
commit | 5f8a330d40008ec6457f96a07cdebe95deb1bdaf (patch) | |
tree | 7c2b853b451221c7cab4f84d179ddfa474bb4496 /doc | |
parent | 594c47e5eb8a1589008a372d9b40e0bab2121c56 (diff) |
outputDocdev -> outputDevdoc
For consistency with the devdoc output.
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> |