From 28760e2c4d0e8adb43c90b3eeed7f9c764996686 Mon Sep 17 00:00:00 2001
From: "Pavel \"LEdoian\" Turinsky" <ledoian@matfyz.cz>
Date: Sun, 20 Nov 2022 04:33:19 +0100
Subject: [PATCH] =?UTF-8?q?Smaz=C3=A1n=20install=5Fvenv?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Všechny make skripty stejně vyrábí venv přes `ensure_venv` a protože web
nikdo nikdy nebude instalovat jinak (nebo když bude, tak asi ví, co
dělá), tak tohle nedává smysl spouštět.
---
 make/install_venv | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 make/install_venv

diff --git a/make/install_venv b/make/install_venv
deleted file mode 100755
index f5f3664f..00000000
--- a/make/install_venv
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash
-
-set -exuo pipefail
-. make/lib.sh
-
-${VENV} ${VENV_PATH}