From 11eb805856262585248db63668d781d635d266af Mon Sep 17 00:00:00 2001
From: luckytyphlosion <10688458+luckytyphlosion@users.noreply.github.com>
Date: Sun, 31 Jan 2021 16:22:54 -0500
Subject: [PATCH] Temporary fix for macOS install.

Should probably figure out what's exactly setting $DEVKITPRO since it's set by something else upon opening the Terminal.
---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 566d373792..a59d4002ca 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -253,7 +253,7 @@ If this works, then proceed to [Installation](#installation). Otherwise, ask for
 4. After the tools are installed, devkitPro must now be made accessible from anywhere by the system. To do so, run the following commands:
 
     ```bash
-    export DEVKITPRO=$HOME/devkitpro
+    export DEVKITPRO=/opt/devkitpro
     echo "export DEVKITPRO=$DEVKITPRO" >> ~/.bashrc
     export DEVKITARM=$DEVKITPRO/devkitARM
     echo "export DEVKITARM=$DEVKITARM" >> ~/.bashrc