Revert "[skip ci] Build helpers on push"

This reverts commit aaa6a709fc.
This commit is contained in:
2026-01-09 15:02:04 +01:00
parent aaa6a709fc
commit 7f8c112556
15 changed files with 1535 additions and 1555 deletions

View File

@@ -10,9 +10,9 @@
% For using index package
\newcommand{\prepareIndex}{
\usepackage[T1]{fontenc}
\usepackage{imakeidx}
\makeindex
\usepackage[T1]{fontenc}
\usepackage{imakeidx}
\makeindex
}
\newcommand{\addIndexBold}[1]{\textbf{\index{\MakeLowercase{#1}} #1}}