From bd3b7c2e2c5ecb08c1ab3cd6c1176c883a124af3 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 12 Jan 2021 22:28:57 -0800 Subject: Delete default.nix. It is generated and shouldn't be in repository. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e9607f198..1f7fd98b4 100644 --- a/Makefile +++ b/Makefile @@ -94,7 +94,7 @@ README.md: README.template MANUAL.txt tools/update-readme.lua default.nix: pandoc.cabal nix-shell --pure -p cabal2nix --run "cabal2nix ." > $@ -nix-shell: +nix-shell: default.nix nix-shell --attr env release.nix download_stats: -- cgit v1.2.3