From 048a088010b561efc899597144b8de396b5dd528 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 31 Dec 2022 12:50:41 +0100
Subject: [PATCH] fix: render monad tutorials

---
 doc/flake.nix | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/doc/flake.nix b/doc/flake.nix
index 70f14cb087..695288784e 100644
--- a/doc/flake.nix
+++ b/doc/flake.nix
@@ -93,12 +93,17 @@
         name = "${pkg.name}-mds";
         paths = map renderLeanMod (lib.attrValues pkg.mods);
       };
-      examples = (buildLeanPackage {
+      examples = buildLeanPackage {
         name = "examples";
         src = ./.;
         roots = [ { mod = "examples"; glob = "submodules"; } ];
-      });
-      inked = renderPackage examples;
+      };
+      monads = buildLeanPackage {
+        name = "monads";
+        src = ./.;
+        roots = [ { mod = "monads"; glob = "submodules"; } ];
+      };
+      inked = renderPackage examples // renderPackage monads;
       doc = book;
     };
     defaultPackage = self.packages.${system}.doc;