--- ./runtime/tools/shtags.pl.tv 2003-05-12 12:24:35.000000000 +0200 +++ ./runtime/tools/shtags.pl 2003-05-12 12:24:52.000000000 +0200 @@ -45,7 +45,7 @@ # initialisations # ($program = $0) =~ s,.*/,,; -require 'getopts.pl'; +do 'getopts.pl'; # # parse command line