anchor.diff:      ''; # */
   
       meta.description = "The NixOS manual in HTML format";
  +
  +    allowedReferences = ["out"];
     };
   
     manualPDF = stdenv.mkDerivation {
  
positive.code:     else
        fn;
  
    # Convert the list of options into an XML file.  The builtin
    # unsafeDiscardStringContext is used to prevent the realisation of
    # the store paths which are used in options definitions.
    optionsXML = builtins.toFile "options.xml" (builtins.unsafeDiscardStringContext (builtins.toXML optionsList'));
  
    optionsDocBook = runCommand "options-db.xml" {} ''
      optionsXML=${optionsXML}
  
negative.code:         ${docbook5_xsl}/xml/xsl/docbook/manpages/docbook.xsl \
          ./man-pages.xml
      '';
  
      allowedReferences = ["out"];
    };
  
  }
  