diff --git a/PAGES b/PAGES
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/gitlab-build.sh b/gitlab-build.sh
index 22e76e418d11e52d6c628cc12ded5ce22087af1e..c410163b0512774496fd3f767e63add153a83a9f 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -19,4 +19,7 @@ mv public/latex/*.pdf public/proposals
 # Cleanup
 echo "**** cleanup ****"
 rm -rf public/doctrees
-rm -rf public/latex
\ No newline at end of file
+rm -rf public/latex
+
+echo "**** env ****"
+env
\ No newline at end of file