diff options
| author | Alex Turbov <i.zaufi@gmail.com> | 2022-08-09 19:20:57 (GMT) |
|---|---|---|
| committer | Alex Turbov <i.zaufi@gmail.com> | 2022-08-14 05:58:41 (GMT) |
| commit | 57f23fa8fcd508ac26a2e87deae0704c11e77933 (patch) | |
| tree | c0b39c4ef9f4ee173db39ee7350234b33892c352 /Help/manual/cmake-gui.1.rst | |
| parent | 5a20d4c2503ca57cf5d5ff3152c14c12b31d8ccd (diff) | |
| download | CMake-57f23fa8fcd508ac26a2e87deae0704c11e77933.zip CMake-57f23fa8fcd508ac26a2e87deae0704c11e77933.tar.gz CMake-57f23fa8fcd508ac26a2e87deae0704c11e77933.tar.bz2 | |
Help: `{<…> | <…>}` → `<…|…>`
The form of alternative names for "placeholders" has been used already
(e.g., `<file|dir>` in the `cmake(1)` manual).
Diffstat (limited to 'Help/manual/cmake-gui.1.rst')
| -rw-r--r-- | Help/manual/cmake-gui.1.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/manual/cmake-gui.1.rst b/Help/manual/cmake-gui.1.rst index 493b625..dd0eeca 100644 --- a/Help/manual/cmake-gui.1.rst +++ b/Help/manual/cmake-gui.1.rst @@ -9,7 +9,7 @@ Synopsis .. parsed-literal:: cmake-gui [<options>] - cmake-gui [<options>] {<path-to-source> | <path-to-existing-build>} + cmake-gui [<options>] <path-to-source | path-to-existing-build> cmake-gui [<options>] -S <path-to-source> -B <path-to-build> cmake-gui [<options>] --browse-manual |