Use correct link to get firedrake-install script

firedrakeproject · Nov 25, 2024 · c72810a · c72810a
1 parent ccec788
commit c72810a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/download.rst b/docs/source/download.rst
@@ -8,7 +8,7 @@ Obtaining Firedrake
 
 Firedrake is installed using its install script::
 
-  curl -O https://raw.githubusercontent.com/firedrakeproject/firedrake/master/scripts/firedrake-install
+  curl -O https://raw.githubusercontent.com/firedrakeproject/firedrake/master/firedrake/scripts/firedrake-install
 
 In the simplest cases, such as on a Mac with Homebrew installed or on
 an Ubuntu workstation on which the user has sudo acccess, the user can simply run::