Revert "[skip ci] Build helpers on push"

This reverts commit 951458a867.
2026-01-09 14:53:39 +01:00
parent 951458a867
commit ab3abb113c
15 changed files with 1531 additions and 1551 deletions
--- a/extra/glossary.tex
+++ b/extra/glossary.tex
@@ -6,12 +6,12 @@
 % Add glossaries functionality

 \newcommand{\setupGlossary}{
-	\usepackage[nonumberlist, toc]{glossaries}
-	\usepackage[nottoc, numbib]{tocbibind}
-	\makenoidxglossaries
+    \usepackage[nonumberlist, toc]{glossaries}
+    \usepackage[nottoc, numbib]{tocbibind}
+    \makenoidxglossaries
 }

 \newcommand{\printGlossary}{
-	\glsaddall
-	\printnoidxglossaries
+    \glsaddall
+    \printnoidxglossaries
 }