From 5d21d12cc22841f545c1e4bcea79e2e6b8ca2cb4 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sat, 6 Jul 2024 22:14:52 +0200
Subject: [PATCH] Update push.yml

---
 .github/workflows/push.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 6e9ea989..35d6538c 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -92,7 +92,6 @@ 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