diff options
-rw-r--r-- | third_party/pulldown-cmark/default.nix | 12 | ||||
-rw-r--r-- | web/cgit-taz/default.nix | 4 |
2 files changed, 0 insertions, 16 deletions
diff --git a/third_party/pulldown-cmark/default.nix b/third_party/pulldown-cmark/default.nix deleted file mode 100644 index 7b1614f18748..000000000000 --- a/third_party/pulldown-cmark/default.nix +++ /dev/null @@ -1,12 +0,0 @@ -{ pkgs, ... }: - -with pkgs.third_party; - -naersk.buildPackage { - src = fetchFromGitHub { - owner = "raphlinus"; - repo = "pulldown-cmark"; - rev = "e10b6801081799cab52dc3029a6de357b604f13e"; - sha256 = "1zibwh9fnysgkg2sgp6fxlsbc1cwp5gqc8nqsdglry9p21jd351i"; - }; -} diff --git a/web/cgit-taz/default.nix b/web/cgit-taz/default.nix index 52613cd004e1..c615d3bcb866 100644 --- a/web/cgit-taz/default.nix +++ b/web/cgit-taz/default.nix @@ -15,10 +15,6 @@ let patches = old.patches ++ [ ./cgit_depot_url.patch ]; }); - cmarkFilter = writeShellScript "pulldown-cmark-filter.sh" '' - exec ${pulldown-cmark}/bin/pulldown-cmark -TFSL - ''; - cgitConfig = writeText "cgitrc" '' # Global configuration virtual-root=/ |