From dfd1aa9d15650bb3e9fa9bd48fee7526352920c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Wed, 11 Dec 2024 15:13:01 +0100
Subject: [PATCH] documentation to mkdocs locally

---
 docs/README.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 docs/README.md

diff --git a/docs/README.md b/docs/README.md
new file mode 100644
index 000000000..96e420169
--- /dev/null
+++ b/docs/README.md
@@ -0,0 +1,5 @@
+# Serve documentation locally
+
+```
+$ nix develop .#docs -c mkdocs serve
+```