diff options
| author | David Lechner <david@pybricks.com> | 2020-09-25 10:47:59 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2020-09-30 23:32:24 +1000 |
| commit | ee7568ca8d4f1a5d09a123cf5f7a1e430b8f4c9d (patch) | |
| tree | cd7e67d08874a00c56f44f0a1c24c3ef92c4b2b6 /docs/reference | |
| parent | 997ec9e8ccaf4f1d8a950ef025e098e6b033c66c (diff) | |
docs/reference/packages.rst: Fix typo, remove duplicate "port".
Fixes #6485.
Diffstat (limited to 'docs/reference')
| -rw-r--r-- | docs/reference/packages.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/packages.rst b/docs/reference/packages.rst index 2854df23a..e9adfc176 100644 --- a/docs/reference/packages.rst +++ b/docs/reference/packages.rst @@ -188,7 +188,7 @@ Few notes: 1. Step 5 in the sequence above assumes that the distribution package is available from PyPI. If that is not the case, you would need to copy Python source files manually to ``modules/`` subdirectory - of the port port directory. (Note that upip does not support + of the port directory. (Note that upip does not support installing from e.g. version control repositories). 2. The firmware for baremetal devices usually has size restrictions, so adding too many frozen modules may overflow it. Usually, you |