From e2b17e92139a4360e798165117d52d99ca46fc2a Mon Sep 17 00:00:00 2001
From: Jason Kridner <jkridner@beagleboard.org>
Date: Wed, 1 Nov 2023 18:31:56 -0400
Subject: [PATCH] Restore PDF generation

---
 gitlab-build.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/gitlab-build.sh b/gitlab-build.sh
index 0ed3276b..fef77dba 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -57,9 +57,6 @@ HERE
 	make html BUILDDIR=public/$VER_DIR
 	mv public/$VER_DIR/html/* public/$VER_DIR/
 
-	echo "**** exit for now for faster debug ****"
-	exit 0
-
 	echo "**** make latexpdf ****"
 	# Build, optimize, and serve PDF
 	make latexpdf BUILDDIR=public/$VER_DIR
-- 
GitLab