From 2d7ad6dbe6675213ca2586ffc396548a023786b6 Mon Sep 17 00:00:00 2001
From: Timothy Flynn <trflynn89@pm.me>
Date: Mon, 31 Oct 2022 18:25:01 -0400
Subject: [PATCH] CI: Remove the manpage generator error file upon success

On some systems, just specifying "2> error_file" will create the file,
even if nothing is logged to it.
---
 Base/root/generate_manpages.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Base/root/generate_manpages.sh b/Base/root/generate_manpages.sh
index 4c3eb69559..ebbdc8c8de 100755
--- a/Base/root/generate_manpages.sh
+++ b/Base/root/generate_manpages.sh
@@ -53,6 +53,7 @@ for i in ( \
     echo -e "\n<!-- Auto-generated through ArgsParser -->"  >> "$filename" 2> "$ERROR_FILE" || exit_for_error
 }
 
+rm -f "$ERROR_FILE"
 echo "Successful."
 
 if test $DO_SHUTDOWN_AFTER_GENERATE {