docs/reference/packages.rst: Fix typo, remove duplicate "port".

Fixes #6485.
This commit is contained in:
David Lechner 2020-09-25 10:47:59 -05:00 committed by Damien George
parent 997ec9e8cc
commit ee7568ca8d
1 changed files with 1 additions and 1 deletions

View File

@ -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