From da936d4bce133c1accd9c2503d5bb6b97e78b02a Mon Sep 17 00:00:00 2001
From: Robert Winkler <rwinkler@antmicro.com>
Date: Fri, 21 Jul 2023 11:09:41 +0200
Subject: [PATCH] check if file was sourced

Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
---
 .github/scripts/latex.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/scripts/latex.sh b/.github/scripts/latex.sh
index c51fbcef..d8d039f5 100755
--- a/.github/scripts/latex.sh
+++ b/.github/scripts/latex.sh
@@ -15,7 +15,9 @@ cd $(dirname $0)/../../docs
 which python3
 
 python3 -m venv env
+echo "=================================================================="
 . env/bin/activate
+echo "=================================================================="
 pip3 install -r requirements.txt
 
 cd build/latex