From e89ccd73e4a78160437fe7f957ba15dff4df11b3 Mon Sep 17 00:00:00 2001
From: Oscar Dowson <odow@users.noreply.github.com>
Date: Tue, 18 Jun 2024 11:59:37 +1200
Subject: [PATCH] Update manual install instructions in README (#567)

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 332585d3..6506a242 100644
--- a/README.md
+++ b/README.md
@@ -62,7 +62,7 @@ You do not need to install Gurobi separately.
 
 ### Manual installation
 
-To opt-out of using the Gurobi_jll binaries, set the `GUROBI_HOME` environment
+To opt-out of using the `Gurobi_jll` binaries, set the `GUROBI_HOME` environment
 variable to point to your local installation and set the
 `GUROBI_JL_USE_GUROBI_JLL` environment variable to `"false"`, then run
 `Pkg.add` and `Pkg.build`:
@@ -83,6 +83,10 @@ Pkg.add("Gurobi")
 Pkg.build("Gurobi")
 ```
 
+To change the location of a manual install, change the value of `GUROBI_HOME`,
+re-run `Pkg.build("Gurobi")`, and then re-start Julia for the change to take
+effect.
+
 ## Use with JuMP
 
 To use Gurobi with JuMP, use `Gurobi.Optimizer`: