···833 '';
834 });
835836+ xorgdocs = super.xorgdocs.overrideAttrs (attrs: {
837+ # This makes the man pages discoverable by the default man,
838+ # since it looks for packages in $PATH
839+ postInstall = "mkdir $out/bin";
840+ });
841+842 xwd = super.xwd.overrideAttrs (attrs: {
843 buildInputs = with self; attrs.buildInputs ++ [libXt];
844 });