anchor.diff:        '')}
       '';
   
  +  postBuild =
  +    ''
  +      make -C docs man-pages
  +    '';
  +
     installPhase =
       ''
         cp -prvd dist/install/nix/store/* $out
         cp -prvd dist/install/boot $out/boot
         cp -prvd dist/install/etc $out/etc
  +      cp -dR docs/man1 docs/man5 $out/share/man/
       ''; # */
   
     postFixup =
  
positive.code:       substituteInPlace tools/python/xen/xend/XendQCoWStorageRepo.py \
          --replace /usr/sbin/qcow-create $out/sbin/qcow-create
  
        # Xen's stubdoms need various sources that it usually fetches at
        # build time using wget.  We can't have that.
        ${flip concatMapStrings stubdomSrcs (x: let src = fetchurl x; in ''
  
negative.code: 
    buildInputs =
      [ which zlib pkgconfig SDL openssl python libuuid gettext ncurses
        dev86 iasl pciutils bzip2 xz texinfo perl
      ];
  
    makeFlags = "PREFIX=$(out) CONFIG_DIR=/etc";
  