From ee7568ca8d4f1a5d09a123cf5f7a1e430b8f4c9d Mon Sep 17 00:00:00 2001 From: David Lechner Date: Fri, 25 Sep 2020 10:47:59 -0500 Subject: [PATCH] docs/reference/packages.rst: Fix typo, remove duplicate "port". Fixes #6485. --- docs/reference/packages.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/reference/packages.rst b/docs/reference/packages.rst index 2854df23a0..e9adfc176e 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