remove build of sphinxcontrib-platformpicker

web.nix

@@ -2,7 +2,7 @@ let
    pkgs = import <nixpkgs> {};
    web-src = <webSrc>;
 in
-  rec {
+  {
     web = pkgs.runCommand "web" {} "cd ${web-src}; ${pkgs.zola}/bin/zola build -o $out";
     web-intl = pkgs.runCommand "web-intl" {}
       ''
@@ -15,15 +15,4 @@ in
       cd ${web-src}
       DOMAINNAME=m-labs.hk ${pkgs.zola}/bin/zola build -o $out -u https://m-labs.ph
       '';
-    sphinxcontrib-platformpicker = pkgs.python3Packages.buildPythonPackage rec {
-      pname = "sphinxcontrib-platformpicker";
-      version = "1.3";
-      src = pkgs.fetchFromGitHub {
-        owner = "whitequark";
-        repo = "sphinxcontrib-platformpicker";
-        rev = "v${version}";
-        sha256 = "sha256-qKhi4QqYhU7CbNSpziFacXc/sWWPSuM3Nc/oWPmBivM=";
-       };
-      propagatedBuildInputs = [ pkgs.python3Packages.sphinx ];
-    };
   }