From 48b2e4e48013e368047d7092186180bdc636ffb8 Mon Sep 17 00:00:00 2001 From: wulan17 Date: Fri, 8 Dec 2023 03:35:45 +0700 Subject: [PATCH] Pyrofork: Clean old docs before copying Signed-off-by: wulan17 --- build-docs.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build-docs.sh b/build-docs.sh index c2b06910..3981a026 100644 --- a/build-docs.sh +++ b/build-docs.sh @@ -11,8 +11,9 @@ cd compiler/docs && "$VENV"/bin/python compiler.py cd ../.. "$VENV"/bin/sphinx-build -b html "docs/source" "docs/build/html" -j auto git clone https://wulan17:"$DOCS_KEY"@github.com/Mayuri-Chan/pyrofork-docs.git -cp -r docs/build/html/* pyrofork-docs cd pyrofork-docs +rm -rf _includes api genindex.html intro py-modindex.html sitemap.xml support.html topics _static faq index.html objects.inv searchindex.js start telegram +cp -r ../docs/build/html/* . git config --local user.name "Mayuri-Chan" git config --local user.email "mayuri@mayuri.my.id" git add --all