diff --git a/src/mkhelp.pl b/src/mkhelp.pl index 871aabcb36..7fb37db58b 100644 --- a/src/mkhelp.pl +++ b/src/mkhelp.pl @@ -120,6 +120,7 @@ HEAD ; if($c) { print <