From 306a7c8ca6e69b6b02cb93ce17eaaab3369cc86d Mon Sep 17 00:00:00 2001
From: Kento Okura <kentookura@gmail.com>
Date: Wed, 26 Aug 2026 11:08:34 +0200
Subject: [PATCH] Remove docs/output before regenerating it

---
 docs/dune | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/dune b/docs/dune
index 045c9e1..cbd381c 100644
--- a/docs/dune
+++ b/docs/dune
@@ -24,7 +24,9 @@
   (source_tree assets)
   (source_tree trees))
  (action
-  (run ./forester_docs.exe)))
+  (progn
+   (run rm -rf output)
+   (run ./forester_docs.exe))))
 
 (install
  (section
-- 
2.51.2