diff options
| author | Georg Brandl <g.brandl@fz-juelich.de> | 2019-11-25 10:15:55 +0100 |
|---|---|---|
| committer | Georg Brandl <g.brandl@fz-juelich.de> | 2019-11-25 10:15:55 +0100 |
| commit | 3269963e870845b6ac9ee7f71b087768c07244ff (patch) | |
| tree | 2594930a7531e4120de85883bded175403438239 /.github | |
| parent | 9684522a92d7067569f44b6200839f08aac16a9b (diff) | |
| download | pygments-git-3269963e870845b6ac9ee7f71b087768c07244ff.tar.gz | |
move pyodide artifacts to separate repo
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs.yaml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 892ce4bd..16d1f58f 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -9,17 +9,21 @@ jobs: build: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v1 - - uses: actions/setup-python@v1 + - name: Setup Python + uses: actions/setup-python@v1 with: python-version: 3.7 + - name: Checkout Pygments + uses: actions/checkout@v1 + - name: Checkout Pyodide + run: git clone https://github.com/pygments/pyodide-artifacts - name: Sphinx install run: pip install Sphinx - name: Sphinx build run: | cd doc WEBSITE_BUILD=1 make dirhtml - cp -a ../external/pyodide _build/dirhtml/_static + cp -a ../pyodide-artifacts/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 |