# File rtex.rb, line 147
        def Logger.add_file( filename, tool=filename ) ; @@logger.add_file( filename, tool ) end