-
Notifications
You must be signed in to change notification settings - Fork 440
62 lines (54 loc) · 1.6 KB
/
update-docs.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
name: Update Docs and Deploy
on:
push:
branches:
- master
- main
- ci-docs
jobs:
update-docs:
name: Generate and Deploy Docs
runs-on: ubuntu-latest
steps:
# Checkout the repository
- name: Checkout Code
uses: actions/checkout@v3
# Set up Python environment
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.9'
# Install dependencies
- name: Install Dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements.txt
pip install sphinx sphinx_book_theme sphinx_markdown_tables recommonmark nbsphinx sphinx_togglebutton
# Build the documentation
- name: Build Docs
run: |
cd docs
make clean html
# Deploy to GitHub Pages
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/_build/html
destination_dir: docs
# Remove .nojekyll from root directory if it exists
- name: Remove .nojekyll file
run: |
git config --global user.name "github-actions[bot]"
git config --global user.email "github-actions[bot]@users.noreply.github.com"
git fetch origin gh-pages
git checkout gh-pages
if [ -f .nojekyll ]; then
rm .nojekyll
git add .nojekyll
git commit -m "Remove .nojekyll file"
git push origin gh-pages
echo ".nojekyll file removed"
else
echo ".nojekyll file does not exist, skipping."
fi