From 43805794e81de86bd36bd15d807d5d615b20e2fa Mon Sep 17 00:00:00 2001
From: chessai <chessai@users.noreply.github.com>
Date: Fri, 24 Nov 2023 13:24:50 -0800
Subject: [PATCH] small cleanups (#1323)

* flake.nix: update ghc962 to ghc963

* delete outdated docs/build.sh
---
 docs/build.sh | 4 ----
 flake.nix     | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100755 docs/build.sh

diff --git a/docs/build.sh b/docs/build.sh
deleted file mode 100755
index c04221c0a..000000000
--- a/docs/build.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-# --- Jump into Nix Shell --- #
-nix-shell --pure -p 'python38.withPackages (ps: [ps.sphinx ps.sphinx_rtd_theme])' -p pandoc -p perl --run "./work.sh"
diff --git a/flake.nix b/flake.nix
index 2e4cdc704..5fe7f4e52 100644
--- a/flake.nix
+++ b/flake.nix
@@ -25,7 +25,7 @@
           pact =
             final.haskell-nix.project' {
               src = ./.;
-              compiler-nix-name = "ghc962";
+              compiler-nix-name = "ghc963";
               shell.tools = {
                 cabal = {};
                 haskell-language-server = {};