--- ./doc/texinfo2HTML.orig	2013-10-05 13:52:30.000000000 +0400
+++ ./doc/texinfo2HTML	2013-10-05 13:53:16.000000000 +0400
@@ -1,5 +1,8 @@
 #!/usr/bin/perl -w
 
+use POSIX qw(ctime);
+use Getopt::Std;
+
 #$example_indent = "    ";
 $example_indent = "";
 
@@ -54,12 +57,10 @@
 		the end is here} and more blah
 	will not get the \@code{} item converted correctly.
 ";
-require "ctime.pl";
-require "getopts.pl";
 
 $debug = 0;
 
-die if !&Getopts('h');
+die if !getopts('h');
 $print_help = 0;
 $print_help = $opt_h if $opt_h;
 if ($print_help) {
