diff options
| author | Eelco Dolstra | 2016-09-01 11:07:23 +0200 |
|---|---|---|
| committer | Eelco Dolstra | 2016-09-01 11:07:23 +0200 |
| commit | 8172cd734c9d738e1ae24ffe2e4bc550ac64e0aa (patch) | |
| tree | 2149fcd3aa786cfd1f187fbc493082f79d1db2d9 /doc/multiple-output.xml | |
| parent | 838c75398cc46cf2acbe144b1f3866d736abe430 (diff) | |
docdev -> devdoc
It's "developer documentation", not "documentation developer" after all.
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 309254f76aac..0bbb9ef8be3a 100644 --- a/doc/multiple-output.xml +++ b/doc/multiple-output.xml @@ -63,7 +63,7 @@ </para></listitem></varlistentry> <varlistentry><term><varname> $outputDocdev</varname></term><listitem><para> - is for <emphasis>developer</emphasis> documentation. Currently we count gtk-doc and man3 pages in there. It goes to <varname>docdev</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 man3 pages 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> $outputMan</varname></term><listitem><para> |