1
Fork 0
mirror of https://github.com/RGBCube/revolt.v synced 2025-07-27 17:07:45 +00:00
This commit is contained in:
RGBCube 2023-01-14 13:52:15 +03:00 committed by GitHub
parent ffd40c0749
commit 5c49d1d0c9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,6 +2,9 @@ name: Deploy Docs
on: push
env:
project-name: revolt
jobs:
deploy-docs:
runs-on: ubuntu-latest
@ -22,13 +25,13 @@ jobs:
- name: Generate Docs
run: |
mv ./src ./revolt.v # For the docs header
cp ./README.md ./revolt.v/ # For the README to be included in the docs.
v doc -readme -f html -o ./ -m ./revolt.v
mv ./src ./${{ env.project-name }}.v # For the docs header
cp ./README.md ./${{ env.project-name }}.v/ # For the README to be included in the docs.
v doc -readme -f html -o ./ -m ./${{ env.project-name }}.v
rm -rf ./site/docs/revolt || true
mkdir -p ./site/docs/revolt
cp -r ./_docs/* ./site/docs/revolt/
rm -rf ./site/docs/${{ env.project-name }} || true
mkdir -p ./site/docs/${{ env.project-name }}
cp -r ./_docs/* ./site/docs/${{ env.project-name }}/
- name: Add Private Key To SSH Agent
uses: webfactory/ssh-agent@v0.7.0
@ -44,5 +47,5 @@ jobs:
git config user.email "actions@users.noreply.github.com"
git add ./
git commit -m "Deploy revolt.v docs"
git commit -m "Deploy ${{ env.project-name }}.v docs"
git push git@github.com:RGBCube/rgbcube.github.io master