From 231731cd6d2d7f26996bc28b0c693d205a249caf Mon Sep 17 00:00:00 2001
From: Artturin <Artturin@artturin.com>
Date: Thu, 13 Feb 2025 16:51:46 +0200
Subject: [PATCH] Add flake and fix config.toml

remove theme.toml

It appears you based the repo on a theme or something?
---
 config.toml | 17 +++++++++------
 flake.lock  | 61 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 flake.nix   | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 theme.toml  | 13 ------------
 4 files changed, 132 insertions(+), 19 deletions(-)
 create mode 100644 flake.lock
 create mode 100644 flake.nix
 delete mode 100644 theme.toml

diff --git a/config.toml b/config.toml
index bd9f87f..df06d9b 100644
--- a/config.toml
+++ b/config.toml
@@ -1,12 +1,17 @@
-base_url = "https://getzola.github.io/book/"
+# The URL the site will be built for
+base_url = "https://bluespec.dev"
+
+# Whether to automatically compile all Sass files in the sass directory
 compile_sass = true
-title = "book theme"
-description = "A book theme"
+
+# Whether to build a search index to be used later on by a JavaScript library
 build_search_index = true
 
 [markdown]
-highlight_code = true
-highlight_theme = "css"
+# Whether to do syntax highlighting
+# Theme can be customised by setting the `highlight_theme` variable to a theme supported by Zola
+highlight_code = false
+#highlight_theme = "css"
 
 [extra]
-book_number_chapters = true
+# Put all your custom variables here
diff --git a/flake.lock b/flake.lock
new file mode 100644
index 0000000..aa2e659
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,61 @@
+{
+  "nodes": {
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1735821806,
+        "narHash": "sha256-cuNapx/uQeCgeuhUhdck3JKbgpsml259sjUQnWM7zW8=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "d6973081434f88088e5321f83ebafe9a1167c367",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "root": {
+      "inputs": {
+        "nixpkgs": "nixpkgs",
+        "utils": "utils"
+      }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    },
+    "utils": {
+      "inputs": {
+        "systems": "systems"
+      },
+      "locked": {
+        "lastModified": 1731533236,
+        "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 0000000..193d189
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,60 @@
+{
+  inputs = {
+    nixpkgs = {
+      url = "github:NixOS/nixpkgs/nixpkgs-unstable";
+    };
+    utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs =
+    inputs:
+    inputs.utils.lib.eachDefaultSystem (
+      system:
+      let
+        pkgs = import inputs.nixpkgs {
+          localSystem = system;
+          overlays = [
+            (final: prev: {
+              bluespec-docs = prev.callPackage (
+                {
+                  stdenv,
+                  zola,
+                  git,
+                }:
+                stdenv.mkDerivation ({
+                  pname = "bluespec-docs";
+                  version = "0.1.0";
+                  src = inputs.self;
+
+                  nativeBuildInputs = [
+                    zola
+                    git
+                  ];
+                  buildPhase = ''
+                    zola build
+                  '';
+
+                  installPhase = ''
+                    mkdir -p $out
+                    cp -r public $out
+                  '';
+                })
+              ) { };
+            })
+          ];
+        };
+      in
+      {
+        packages = {
+          default = inputs.self.packages."${system}".bluespec-docs;
+          bluespec-docs = pkgs.bluespec-docs;
+        };
+
+        devShells.default =
+          with pkgs;
+          mkShell {
+            inputsFrom = [ bluespec-docs ];
+          };
+      }
+    );
+}
diff --git a/theme.toml b/theme.toml
deleted file mode 100644
index b343822..0000000
--- a/theme.toml
+++ /dev/null
@@ -1,13 +0,0 @@
-name = "book"
-description = "A book theme inspired from GitBook/mdBook"
-license = "MIT"
-homepage = "https://github.com/getzola/book"
-min_version = "0.17.0"
-demo = "https://getzola.github.io/book/"
-
-[extra]
-book_number_chapters = true
-
-[author]
-name = "Vincent Prouillet"
-homepage = "https://www.vincentprouillet.com"