fix

.github/workflows/blueprint.yml

@@ -19,7 +19,6 @@ jobs:
         run: |
           ! (find Carleson -name "*.lean" -type f -exec grep -E -H -n '^.{101,}$' {} \; | grep -v -E 'https?://')
 
-jobs:
   build_project:
     runs-on: ubuntu-latest
     name: Build project

docs/index.md

@@ -34,5 +34,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.