diff options
Diffstat (limited to 'Help/command/get_property.rst')
| -rw-r--r-- | Help/command/get_property.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/command/get_property.rst b/Help/command/get_property.rst index 80d97fd841..123cd45258 100644 --- a/Help/command/get_property.rst +++ b/Help/command/get_property.rst @@ -10,7 +10,7 @@ Get a property. DIRECTORY [<dir>] | TARGET <target> | SOURCE <source> | - [<TARGET_DIRECTORY ... | DIRECTORY ...>] | + [TARGET_DIRECTORY <target> | DIRECTORY <dir>] | INSTALL <file> | TEST <test> | CACHE <entry> | |