From 6a814bf2ce4da05f33aec8e2ff99a6a538644de6 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 30 Aug 2025 22:54:26 +0800
Subject: [PATCH] remove nmigen gitlab docs build

---
 hydra/web.json |  3 +--
 web.nix        | 12 ------------
 2 files changed, 1 insertion(+), 14 deletions(-)

diff --git a/hydra/web.json b/hydra/web.json
index 94f5579..fe65b71 100644
--- a/hydra/web.json
+++ b/hydra/web.json
@@ -13,8 +13,7 @@
         "inputs": {
             "nixpkgs": { "type": "git", "value": "https://github.com/NixOS/nixpkgs.git nixos-25.05", "emailresponsible": false },
             "nixScripts": { "type": "git", "value": "https://git.m-labs.hk/M-Labs/nix-scripts.git", "emailresponsible": false },
-            "webSrc": { "type": "git", "value": "https://git.m-labs.hk/M-Labs/web2019.git", "emailresponsible": false },
-            "nmigenSrc": { "type": "git", "value": "https://gitlab.com/nmigen/nmigen.git", "emailresponsible": false }
+            "webSrc": { "type": "git", "value": "https://git.m-labs.hk/M-Labs/web2019.git", "emailresponsible": false }
         }
     }
 }
diff --git a/web.nix b/web.nix
index 811dbaa..bbff02d 100644
--- a/web.nix
+++ b/web.nix
@@ -1,7 +1,6 @@
 let
    pkgs = import <nixpkgs> {};
    web-src = <webSrc>;
-   nmigen-src = <nmigenSrc>;
 in
   rec {
     web = pkgs.runCommand "web" {} "cd ${web-src}; ${pkgs.zola}/bin/zola build -o $out";
@@ -27,15 +26,4 @@ in
        };
       propagatedBuildInputs = [ pkgs.python3Packages.sphinx ];
     };
-    nmigen-docs = pkgs.stdenvNoCC.mkDerivation {
-      name = "nmigen-docs";
-      src = nmigen-src;
-      buildInputs = [ (pkgs.python3.withPackages(ps: [ ps.sphinx ps.sphinx_rtd_theme sphinxcontrib-platformpicker ])) ];
-      phases = [ "buildPhase" ];
-      buildPhase =
-        ''
-        export PYTHONPATH=$src
-        sphinx-build -b html $src/docs $out
-        '';
-    };
   }