···

       
36
       
 
       


     

       
37
       
 
       
    cp ${./style.css} $dst/style.css

     

       
38
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
39
       
 
       
    mkdir -p $out/nix-support

     

       
40
       
 
       
    echo "doc manual $dst manual.html" >> $out/nix-support/hydra-build-products

     

       
41
       
 
       
  '';

     

···

       
36
       
 
       


     

       
37
       
 
       
    cp ${./style.css} $dst/style.css

     

       
38
       
 
       


     

       
39
       
+
       
    mkdir -p $dst/images/callouts

     

       
40
       
+
       
    cp ${docbook5_xsl}/xml/xsl/docbook/images/callouts/*.gif $dst/images/callouts/

     

       
41
       
+
       


     

       
42
       
 
       
    mkdir -p $out/nix-support

     

       
43
       
 
       
    echo "doc manual $dst manual.html" >> $out/nix-support/hydra-build-products

     

       
44
       
 
       
  '';