Copy file - Example

with TEXT_IO; use TEXT_IO;

procedure copy_file is

    inf         : TEXT_IO.FILE_TYPE;   -- input file
    outf        : TEXT_IO.FILE_TYPE;   -- output file
    ch          : character;           -- one char of a file
	... 

begin

    ...

    while not END_OF_FILE (inf) loop
        while not END_OF_LINE (inf) loop
            GET (inf,  ch);
            PUT (outf, ch);
        end loop;
        SKIP_LINE (inf);
        NEW_LINE  (outf);
    end loop;

    ...

end copy_file;