diff options
Diffstat (limited to 'docs/tools')
| -rw-r--r-- | docs/tools/script_installer.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/tools/script_installer.md b/docs/tools/script_installer.md index e588a39d6..a5f37659c 100644 --- a/docs/tools/script_installer.md +++ b/docs/tools/script_installer.md @@ -32,6 +32,7 @@ The executable name is inferred by default: - If the file stem is something generic like 'main', 'mod', 'index' or 'cli', and the path has no parent, take the file name of the parent path. Otherwise settle with the generic name. +- If the resulting name has an '@...' suffix, strip it. To change the installation root, use `--root`: |