From 406dbc40713c11ff41b5e69f73f5ab0f09ac9469 Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Wed, 17 Jan 2024 17:49:13 +0100
Subject: [PATCH] Do not require comment lines to have at least one charachter

That would require having trailing whitespace between multiple
paragraphs.
---
 gen.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gen.pl b/gen.pl
index 66747b6..ab45369 100755
--- a/gen.pl
+++ b/gen.pl
@@ -101,7 +101,7 @@ while (<>) {
        "option"  => $2,
        "correct" => $1 eq "+" ? JSON::true : $1 eq "-" ? JSON::false : JSON::null
       );
-  } elsif (/^.+$/) {		# non-empty line
+  } elsif (/^.*$/) {		# non-empty line
     $last_option{"comment"} .= $_;
   }
 }
-- 
GitLab