From b57f92df4f0aa597b0a5c9e063f73951ff80097f Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 17 Jan 2025 18:58:21 +0100
Subject: [PATCH] Update blueprint.yml

---
 .github/workflows/blueprint.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index f9fc6228..b563706e 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -58,6 +58,7 @@ jobs:
             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