Previous: Switches for gnatchop, Up: Renaming Files Using gnatchop
gnatchop
Usagegnatchop -w hello_s.ada prerelease/files
gnatchop archive
gnatchop
is in sending sets of sources
around, for example in email messages. The required sources are simply
concatenated (for example, using a Unix cat
command), and then
gnatchop is used at the other end to reconstitute the original
file names.
gnatchop file1 file2 file3 direc