diff options
Diffstat (limited to 'docs/versions.md')
| -rw-r--r-- | docs/versions.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/versions.md b/docs/versions.md index db7a1036..c68d1f81 100644 --- a/docs/versions.md +++ b/docs/versions.md @@ -70,8 +70,8 @@ version number will be used to determine its installation location and how it's used in code. You must either explicitly import the library with its version number (e.g. `use foo_v1.2`) or include a `modules.ini` configuration file that maps a shorthand alias to a specific version of a library. For example, if the -`modules.ini` file has `foo=foo_v1.2`, you can put `use foo` to use v1.2 of the -`foo` library (assuming you have it installed). +`modules.ini` file has a `[foo]` section with `version=v1.2`, you can put `use +foo` to use v1.2 of the `foo` library (assuming you have it installed). # Rationale |