diff options
| -rw-r--r-- | Help/manual/cmake.1.rst | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Help/manual/cmake.1.rst b/Help/manual/cmake.1.rst index 086f259..d5e8505 100644 --- a/Help/manual/cmake.1.rst +++ b/Help/manual/cmake.1.rst @@ -170,13 +170,18 @@ Available commands are: Check if file1 is same as file2. ``copy <file>... <destination>`` - Copy files to 'destination' (either file or directory). + Copy files to ``<destination>`` (either file or directory). + If multiple files are specified, the ``<destination>`` must be + directory and it must exist. ``copy_directory <source> <destination>`` Copy directory 'source' content to directory 'destination'. ``copy_if_different <file>... <destination>`` - Copy files if input has changed. Destination could be file or directory. + Copy files to ``<destination>`` (either file or directory) if + they have changed. + If multiple files are specified, the ``<destination>`` must be + directory and it must exist. ``echo [<string>...]`` Displays arguments as text. |