From 15846e2a1360209f8d02056022062e0817544848 Mon Sep 17 00:00:00 2001
From: Jan Wille <jan.wille@stud.hs-hannover.de>
Date: Fri, 26 Apr 2024 13:26:33 +0200
Subject: [PATCH] remove old `\@prof`
is long replaced by `\@professor`
---
src/HsH-classes.dtx | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/HsH-classes.dtx b/src/HsH-classes.dtx
index 3901492..50eb66f 100644
--- a/src/HsH-classes.dtx
+++ b/src/HsH-classes.dtx
@@ -276,7 +276,6 @@ http://www.latex-project.org/lppl.txt
% quarter of a line of free space at the end of a paragraph.
% \end{options}
%
-%
% \DescribeOption{headheight}
% The \opt{headheight=\meta{dim}} option allows you to set the required size of the
% header. You may need to modify this if you get a |\headheight|\emph{ to low} error
@@ -1724,7 +1723,7 @@ http://www.latex-project.org/lppl.txt
\global\let\@lowertitleback\@empty
\global\let\@dedication\@empty
\global\let\@matrikelnr\@empty
- \global\let\@prof\@empty
+ \global\let\@professor\@empty
\global\let\author\relax
\global\let\title\relax
\global\let\extratitle\relax
--
GitLab