From 4eae5de499c068b78b61c8ede88d7a1736908dc4 Mon Sep 17 00:00:00 2001
From: Jan200101 <sentrycraft123@gmail.com>
Date: Tue, 10 Jan 2023 13:04:54 +0100
Subject: [PATCH] Ports: Document how to declare external port directories

---
 Ports/README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Ports/README.md b/Ports/README.md
index 4aac5498f9..303cdc44c2 100644
--- a/Ports/README.md
+++ b/Ports/README.md
@@ -11,6 +11,17 @@ environment.
 
 A list of all available ports can be found [here](AvailablePorts.md).
 
+## External ports
+
+Third party ports might need additional dependencies from another location.
+In this case, you can point the `SERENITY_PORT_DIRS` variable to a local ports directory.
+
+For example:
+
+```bash
+export SERENITY_PORT_DIRS="/path/to/port/dir/:/other/path/"
+```
+
 ## Using ports scripts
 
 Each port has a script called `package.sh` which defines a name and version,