blob: 4527d1e7900f1220e69b0a51402dfdab4d5696d4 (
plain)
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
|
name: Docs
on:
push:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Setup Python
uses: actions/setup-python@v1
with:
python-version: 3.7
- name: Checkout Pygments
uses: actions/checkout@v1
- name: Install Sphinx & WCAG contrast ratio
run: pip install Sphinx wcag-contrast-ratio
- name: Create Pyodide WASM package
uses: ./.github/actions/pyodide-package
- name: Sphinx build
run: |
cd doc
WEBSITE_BUILD=1 make dirhtml
cp -a ../pyodide _build/dirhtml/_static
touch _build/dirhtml/.nojekyll
echo -e 'pygments.org\nwww.pygments.org' > _build/dirhtml/CNAME
echo 'Automated deployment of docs for GitHub pages.' > _build/dirhtml/README
- name: Deploy to repo
uses: peaceiris/actions-gh-pages@v2.5.0
env:
ACTIONS_DEPLOY_KEY: ${{ secrets.ACTIONS_DEPLOY_KEY }}
EXTERNAL_REPOSITORY: pygments/pygments.github.io
PUBLISH_BRANCH: master
PUBLISH_DIR: ./doc/_build/dirhtml
|