From 8cc74a2ce535bd7e72f125bb56c9332fd41471ef Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Sun, 14 Apr 2024 01:14:39 +0100
Subject: [PATCH] chore: remove old nix cruft

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 5f6cb162-403e-47f2-a012-5e24657aa4ab -->
---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile b/Makefile
index 88595560..60881cf5 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,3 @@ release: ## Release on Opam
 	dune-release publish distrib --verbose
 	dune-release opam pkg
 	dune-release opam submit
-
-.PHONY: nix
-nix:
-	nix-shell -A resolve default.nix