mirror of
https://github.com/pybricks/pybricks-api.git
synced 2026-09-12 01:24:17 +00:00
David Lechner
2c4685f594
This splits the Sphinx tag option from SPHINXOPTS. This allows us to specify the tag without having to remember to add -W and -t. It also fixes not being able to specify the tag with make.bat on Windows. While we are touching this, redundant SOURCEDIR uses are removed (main is already the default) and the .github/workflows/publish-ide-docs.yml script is fixed (ide directory no longer exists).
39 lines
1.0 KiB
YAML
39 lines
1.0 KiB
YAML
name: Release @pybricks/ide-docs
|
|
|
|
on:
|
|
push:
|
|
tags:
|
|
- '@pybricks/ide-docs/**'
|
|
|
|
jobs:
|
|
publish_ide_docs:
|
|
runs-on: ubuntu-20.04
|
|
steps:
|
|
- name: Ubuntu packages
|
|
run: |
|
|
sudo apt-get update
|
|
sudo apt-get install -y dvisvgm preview-latex-style texlive texlive-fonts-extra texlive-latex-extra
|
|
- uses: actions/checkout@v2
|
|
with:
|
|
submodules: recursive
|
|
- name: Set up Python 3.8
|
|
uses: actions/setup-python@v1
|
|
with:
|
|
python-version: 3.8
|
|
- name: Install dependencies
|
|
run: |
|
|
pip install poetry
|
|
poetry run python -m pip install --upgrade pip
|
|
poetry run python -m pip install --upgrade setuptools
|
|
poetry install
|
|
- uses: actions/setup-node@v1
|
|
with:
|
|
node-version: '14.x'
|
|
registry-url: 'https://registry.npmjs.org'
|
|
- run: yarn build
|
|
working-directory: doc/main
|
|
- run: yarn publish
|
|
working-directory: doc/main
|
|
env:
|
|
NODE_AUTH_TOKEN: ${{ secrets.NODE_AUTH_TOKEN }}
|