From 8e3f417c10cfdea62d2dcf1151f158b9a8c4e2a7 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpvdoorn@gmail.com>
Date: Sun, 30 Jun 2024 16:57:43 +0200
Subject: [PATCH] remove invoke from readme

---
 .github/workflows/push.yml      | 35 +++++++++++++++++----------------
 README.md                       |  2 +-
 blueprint/src/macros/common.tex |  2 +-
 3 files changed, 20 insertions(+), 19 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 9ee435b4..faa201f4 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -67,24 +67,25 @@ jobs:
       - name: Build documentation
         run: ~/.elan/bin/lake -Kenv=dev build Carleson:docs
 
-      - name: Install Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: '3.9'
-          cache: 'pip' # caching pip dependencies
-
-      - name: Install blueprint apt dependencies
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y graphviz libgraphviz-dev pdf2svg dvisvgm texlive-full
-
-      - name: Install blueprint dependencies
-        run: |
-          cd blueprint && pip install -r requirements.txt
-
       - name: Build blueprint and copy to `docs/blueprint`
-        run: |
-          inv all
+        uses: xu-cheng/texlive-action@v2
+        with:
+          docker_image: ghcr.io/xu-cheng/texlive-full:20231201
+          run: |
+            apk update
+            apk add --update make py3-pip git pkgconfig graphviz graphviz-dev gcc musl-dev
+            git config --global --add safe.directory $GITHUB_WORKSPACE
+            git config --global --add safe.directory `pwd`
+            python3 -m venv env
+            source env/bin/activate
+            pip install --upgrade pip requests wheel
+            pip install pygraphviz --global-option=build_ext --global-option="-L/usr/lib/graphviz/" --global-option="-R/usr/lib/graphviz/"
+            pip install leanblueprint
+            leanblueprint pdf
+            mkdir docs
+            cp blueprint/print/print.pdf docs/blueprint.pdf
+            leanblueprint web
+            cp -r blueprint/web docs/blueprint
 
       - name: Copy documentation to `docs/docs`
         run: |
diff --git a/README.md b/README.md
index b5266a8c..343dc564 100644
--- a/README.md
+++ b/README.md
@@ -24,5 +24,5 @@ you've worked have no errors (having `sorry`'s is fine of course).
 
 ## Build the blueprint
 
-To test the Blueprint locally, you can compile `print.tex` using XeLaTeX (i.e. `xelatex print.tex` in the folder `blueprint/src`). If you have the Python package `invoke` you can also run `inv bp` which puts the output in `blueprint/print/print.pdf`.
+To test the Blueprint locally, you can compile `print.tex` using XeLaTeX (i.e. `xelatex print.tex` in the folder `blueprint/src`).
 If you want to build the web version of the blueprint locally, you need to install some packages by following the instructions [here](https://pypi.org/project/leanblueprint/). But if the pdf builds locally, you can also just make a pull request and use the online blueprint.
\ No newline at end of file
diff --git a/blueprint/src/macros/common.tex b/blueprint/src/macros/common.tex
index 7261bfb0..cf99be52 100644
--- a/blueprint/src/macros/common.tex
+++ b/blueprint/src/macros/common.tex
@@ -2,7 +2,7 @@
 % both by the pdf version and the web version.
 % This should be most of your macros.
 
-% \usepackage{amsmath}
+\usepackage{amsmath}
 \usepackage{amsfonts}
 \usepackage{graphicx}
 \usepackage{xcolor}