public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docdev -> devdoc

Browse Source 
It's "developer documentation", not "documentation developer" after
all.
This commit is contained in:
Eelco Dolstra
2016-09-01 11:07:23 +02:00
parent 838c75398c
commit 8172cd734c
38 changed files with 46 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/multiple-output.xml
View File

@@ -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>