[CHORE] fix make_docs.sh

nots1dd · Jan 12, 2025 · 3754550 · 3754550
1 parent cbbe765
commit 3754550
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/make_docs.sh b/make_docs.sh
@@ -4,3 +4,4 @@ doxygen .Doxyfile
 cp -r assets/gifs/ docs/
 cp index.html docs/
 xdg-open docs/index.html
+cp -r docs/* new-docs/