diff --git a/mkfiles.pl b/mkfiles.pl index af99f1bf..faf4b1ce 100755 --- a/mkfiles.pl +++ b/mkfiles.pl @@ -588,10 +588,10 @@ END print $_; print <