check if file was sourced

Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
antmicro · Jul 21, 2023 · da936d4 · da936d4
1 parent a67058c
commit da936d4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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