From ddba7b0bea9491c3b3d59533464dce289a16d169 Mon Sep 17 00:00:00 2001
From: Gabriel Arazas <foo.dogsquared@gmail.com>
Date: Fri, 22 Jul 2022 12:21:37 +0800
Subject: [PATCH] devdocs-desktop: remove package

I just use the website so there's not much use for this.
---
 pkgs/default.nix         |  1 -
 pkgs/devdocs-desktop.nix | 56 ----------------------------------------
 2 files changed, 57 deletions(-)
 delete mode 100644 pkgs/devdocs-desktop.nix

diff --git a/pkgs/default.nix b/pkgs/default.nix
index 2f15c516..d0bcc084 100644
--- a/pkgs/default.nix
+++ b/pkgs/default.nix
@@ -15,7 +15,6 @@ let
       domterm = callPackage ./domterm { };
       freerct = callPackage ./freerct.nix { };
       distant = callPackage ./distant.nix { };
-      devdocs-desktop = callPackage ./devdocs-desktop.nix { };
       doggo = callPackage ./doggo.nix { };
       emulsion-palette = callPackage ./emulsion-palette.nix { };
       gol-c = callPackage ./gol-c.nix { };
diff --git a/pkgs/devdocs-desktop.nix b/pkgs/devdocs-desktop.nix
deleted file mode 100644
index 9bad43ad..00000000
--- a/pkgs/devdocs-desktop.nix
+++ /dev/null
@@ -1,56 +0,0 @@
-{ stdenv
-, lib
-, fetchFromGitHub
-, python3Packages
-, gtk3
-, glib
-, gobject-introspection
-, wrapGAppsHook
-, webkitgtk
-}:
-
-python3Packages.buildPythonApplication rec {
-  pname = "devdocs-desktop";
-  version = "unstable-2022-01-31";
-
-  src = fetchFromGitHub {
-    owner = "hardpixel";
-    repo = pname;
-    rev = "d4164de2773a3c51da0dc271720faf2c8c1e72c4";
-    sha256 = "sha256-JeeUbCzfP6R0fHDePsKTRvVQk6GsacsqQbf6BpIP2AY=";
-  };
-
-  format = "other";
-
-  propagatedBuildInputs = with python3Packages; [ dbus-python pygobject3 ];
-
-  nativeBuildInputs = [ wrapGAppsHook gobject-introspection ];
-  buildInputs = [ glib gtk3 webkitgtk ];
-
-  dontConfigure = true;
-  strictDeps = false;
-
-  postPatch = ''
-    substituteInPlace devdocs_desktop.py \
-      --replace "styles/webview.css" "$out/share/${pname}/styles/webview.css" \
-      --replace "scripts/webview.js" "$out/share/${pname}/scripts/webview.js" \
-      --replace "ui/main.ui" "$out/share/${pname}/ui/main.ui"
-  '';
-
-  installPhase = ''
-    install -Dm755 devdocs_desktop.py -t $out/bin
-    install -Dm644 icons/hicolor/scalable/* -t $out/share/icons/hicolor/scalable
-    install -Dm644 icons/hicolor/symbolic/* -t $out/share/icons/hicolor/symbolic
-    install -Dm644 scripts/* -t $out/share/${pname}/scripts
-    install -Dm644 styles/* -t $out/share/${pname}/styles
-    install -Dm644 ui/* -t $out/share/${pname}/ui
-    install -Dm644 devdocs-desktop.desktop -t $out/share/applications
-  '';
-
-  meta = with lib; {
-    homepage = "https://github.com/hardpixel/devdocs-desktop";
-    description = "Desktop application for browsing Devdocs";
-    license = licenses.gpl3Only;
-    platforms = platforms.linux;
-  };
-}