# File rtex.rb, line 92
        def add_file( filename, tool = filename )
                file = File.new( filename )
                file.each_line{ |l|
                        @log += "\n" + line( " >" + tool, l.chop!() )
                }
                file.close()
        end