Copy document type
==================

[[Parent]]: document_types.txt

The Copy document type copies its input file to the
output file if the output file either does not
exist or has a modification time-stamp not later than
than the input file.

Properties
----------

Name
:	Code

Input extension
: 	Any

Output extension
: 	Same as input extension.

Input syntax:
:	Any

Output syntax:
:	Same as input syntax.

AsciiMath interpretation
:	Disabled

