···

       
68
       
 
       


     

       
69
       
 
       
      <varlistentry><term><varname>

     

       
70
       
 
       
        $outputDevdoc</varname></term><listitem><para>

     

       
71
       
-
       
        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.

     

       
72
       
 
       
      </para></listitem></varlistentry>

     

       
73
       
 
       


     

       
74
       
 
       
      <varlistentry><term><varname>

     

···

       
68
       
 
       


     

       
69
       
 
       
      <varlistentry><term><varname>

     

       
70
       
 
       
        $outputDevdoc</varname></term><listitem><para>

     

       
71
       
+
       
        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.

     

       
72
       
 
       
      </para></listitem></varlistentry>

     

       
73
       
 
       


     

       
74
       
 
       
      <varlistentry><term><varname>

     

···

       
140
       
 
       
    moveToOutput share/info "${!outputInfo}"

     

       
141
       
 
       
    moveToOutput share/doc "${!outputDoc}"

     

       
142
       
 
       
    moveToOutput share/gtk-doc "${!outputDevdoc}"

     

       
0
       
 
       

     

       
143
       
 
       


     

       
144
       
 
       
    # the default outputMan is in $bin

     

       
145
       
 
       
    moveToOutput share/man "${!outputMan}"

     

···

       
140
       
 
       
    moveToOutput share/info "${!outputInfo}"

     

       
141
       
 
       
    moveToOutput share/doc "${!outputDoc}"

     

       
142
       
 
       
    moveToOutput share/gtk-doc "${!outputDevdoc}"

     

       
143
       
+
       
    moveToOutput share/devhelp/books "${!outputDevdoc}"

     

       
144
       
 
       


     

       
145
       
 
       
    # the default outputMan is in $bin

     

       
146
       
 
       
    moveToOutput share/man "${!outputMan}"