Allow whitespace before ':'

diff --git a/configure.1.pl b/configure.1.pl
index 806f3cc8368d368bb38a14fd9eaa61561eedeeb3..6a150cf82c7b29fa7c11cd41b046d85252ab75ca 100755 (executable)
--- a/configure.1.pl
+++ b/configure.1.pl
@@ -146,9 +146,10 @@
 #          line2
 # The name consists of the characters A-Z, a-z, 0-9, '-', '_', and '.'.
 #
-# In the first format (name: value) the ':' must be immediately after the name.
-# The value starts immediately after the first whitespace and is taken directly
-# without any processing.
+# In the first format (name: value):
+#   - Any amount (including 0) of whitespace is allowed before the ':'.
+#   - The value starts immediately after the first whitespace after the ':'
+#     and is taken directly without any processing.
 #
 # In the second format (name = value) some processing is performed:
 #   - Any amount (including 0) of whitespace is allowed before and
@@ -1014,7 +1015,7 @@ sub parse_file {
                print_debug($depth, "LINE $line");
                
                # new definition name: value
-               if ($line =~ /^([A-Za-z0-9_\-\.]+):[ \t](.*)$/) {
+               if ($line =~ /^([A-Za-z0-9_\-\.]+)[ \t]*:[ \t](.*)$/) {
                        $parse_mode = 0;
                        unless ($if_block) {
                                $name = $1;