From bda63cd737cc5a18f37c26d2faf8d0a37242bdfd Mon Sep 17 00:00:00 2001
From: windweller <leo.niecn@gmail.com>
Date: Mon, 22 Jul 2024 18:32:20 -0700
Subject: [PATCH] add a postprocessing script for doc site

---
 docs/post_build_script.py | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 docs/post_build_script.py

diff --git a/docs/post_build_script.py b/docs/post_build_script.py
new file mode 100644
index 00000000..f2073bfb
--- /dev/null
+++ b/docs/post_build_script.py
@@ -0,0 +1,7 @@
+import shutil
+import os
+
+custom_index = 'index.html'
+built_book = '_build/html'
+
+shutil.copy2(custom_index, os.path.join(built_book, 'index.html'))