diff --git a/src/mkhelp.pl b/src/mkhelp.pl index f1e1de1c66..52b6e13e34 100755 --- a/src/mkhelp.pl +++ b/src/mkhelp.pl @@ -157,7 +157,7 @@ exit; } else { print <