From 948eba4e8bb07c5f348a495c7fef9faa8f17aacd Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 1 Jan 2023 21:08:31 +0100
Subject: [PATCH] fix: render examples

---
 doc/flake.nix | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

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