From 7c232362e8b36535a1d6c44cdfd9b8180d7ceae9 Mon Sep 17 00:00:00 2001
From: David Lechner <david@pybricks.com>
Date: Mon, 25 Jan 2021 19:56:10 -0600
Subject: [PATCH] github: add workflow for publishing ide-docs package

---
 .github/workflows/publish-ide-docs.yml | 38 ++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 .github/workflows/publish-ide-docs.yml

diff --git a/.github/workflows/publish-ide-docs.yml b/.github/workflows/publish-ide-docs.yml
new file mode 100644
index 0000000..882a3f8
--- /dev/null
+++ b/.github/workflows/publish-ide-docs.yml
@@ -0,0 +1,38 @@
+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/ide
+    - run: yarn publish
+      working-directory: doc/ide
+      env:
+        NODE_AUTH_TOKEN: ${{ secrets.NODE_AUTH_TOKEN }}