diff --git a/UTILITIES/mansplit.pl b/UTILITIES/mansplit.pl index 2cdfb053a..49ea84835 100755 --- a/UTILITIES/mansplit.pl +++ b/UTILITIES/mansplit.pl @@ -43,7 +43,7 @@ EOF $script = <<'EOF'; -