delete blueprints

.github/workflows/blueprint.yml → .github/workflows/build.yml

@@ -1,4 +1,4 @@
-name: Compile blueprint
+name: Build
 
 on:
   push:
@@ -356,7 +356,7 @@ jobs:
         run: |
           ./scripts/build_docs.sh
 
-      - name: Compile blueprint and documentation
+      - name: Build API documentation
         uses: leanprover-community/docgen-action@7b5b9a1822650bd45aaeb4182d94bceba2030f89 # 2026-04-14
         with:
           homepage: home_page
@@ -374,7 +374,7 @@ jobs:
           mkdir -p home_page/exposition
           cp -r referee-site/html-multi/. home_page/exposition/
 
-      - name: "Upload website (API documentation, blueprint and any home page)"
+      - name: "Upload website (API documentation and home page)"
         if: github.event_name == 'push'
         uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
         with:

.gitignore

@@ -1,17 +1,8 @@
-blueprint/src/print.pdf
-blueprint/src/web.pdf
-
 ## macOS
 .DS_Store
 ## Lake
-.lake/*
+.lake/
 .cache/*
-## Blueprint
-/blueprint/print/print.log
-/blueprint/web/
-/blueprint/src/web.paux
-/blueprint/src/web.bbl
-/blueprint/print/
 ## TeX
 *.aux
 *.lof
@@ -43,12 +34,5 @@ blueprint/src/web.pdf
 /exposition/
 
 ## Tutorial and docs
-/LMLTutorial/.lake/
 /LMLTutorial/_out/
-/LMLDocs/.lake/
 /LMLDocs/_out/
-
-## Verso Blueprint
-/verso_blueprint/.lake/
-/verso_blueprint/.build/
-/verso_blueprint/_out/