yasirarism/pyrofork
1
0
Fork 0
mirror of https://github.com/Mayuri-Chan/pyrofork.git synced 2025-12-29 12:04:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Pyrofork: Clean old docs before copying

Browse source 
Signed-off-by: wulan17 <wulan17@nusantararom.org>
This commit is contained in:
wulan17 2023-12-08 03:35:45 +07:00
parent c1598942ca
commit 48b2e4e480
No known key found for this signature in database
GPG key ID: 318CD6CD3A6AC0A5
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
build-docs.sh
View file

@ -11,8 +11,9 @@ cd compiler/docs && "$VENV"/bin/python compiler.py
cd ../.. cd ../..
"$VENV"/bin/sphinx-build -b html "docs/source" "docs/build/html" -j auto "$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 git clone https://wulan17:"$DOCS_KEY"@github.com/Mayuri-Chan/pyrofork-docs.git
cp -r docs/build/html/* pyrofork-docs
cd 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.name "Mayuri-Chan"
git config --local user.email "mayuri@mayuri.my.id" git config --local user.email "mayuri@mayuri.my.id"
git add --all git add --all