copy

Documentation

Overview

copy is a tool for copying parts of files. It reads a set of source files, collecting named sequences of lines to copy to a destination file. It then reads the destination files, replacing the named sections there, called sinks, with sections of the same name from the source files.

Files involved in the copy contain comments of the form

//copy:COMMAND ARGS...

There can't be spaces between the "//", the word "copy:", and the command name.

Commands that appear in source files are:

start FILENAME NAME
   Start copying to the sink NAME in FILENAME.
stop
   Stop copying.

Commands that appear in destination files are:

sink NAME
   Where to start copying lines marked with NAME.
endsink NAME
   Where to end a replacement. Inserted by the tool.