Revert "[skip ci] Build helpers on push"

This reverts commit e16e4b3e7b.

extra/minted.tex

@@ -10,8 +10,8 @@
 
 % Args: Language, Code
 \newenvironment{code}[1]{
-	\VerbatimEnvironment
-	\begin{minted}[
+    \VerbatimEnvironment
+    \begin{minted}[
     autogobble,
     breaklines,
     breakindentnchars=2,
@@ -25,23 +25,23 @@
 
 % Args: Language, file relative to root file
 \newcommand{\inputcode}[2]{
-	\inputminted[
-		autogobble,
-		breaklines,
-		breakindentnchars=2,
-		frame=lines,
-		framesep=2mm,
-		mathescape,
-		baselinestretch=1.1,
-		linenos
-	]{#1}{#2}
+    \inputminted[
+        autogobble,
+        breaklines,
+        breakindentnchars=2,
+        frame=lines,
+        framesep=2mm,
+        mathescape,
+        baselinestretch=1.1,
+        linenos
+    ]{#1}{#2}
 }
 
 % Args: Language, Base directory (with trailing slash), file (no slash at start)
 \newcommand{\inputcodewithfilename}[3]{
-	\begin{figure}[h!]
-		\texttt{File: \detokenize{#3}}
-		\rmvspace
-		\inputcode{#1}{#2#3}
-	\end{figure}
+    \begin{figure}[h!]
+        \texttt{File: \detokenize{#3}}
+        \rmvspace
+        \inputcode{#1}{#2#3}
+    \end{figure}
 }