We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0f02ace commit ac5e291Copy full SHA for ac5e291
docs/source/install.rst
@@ -54,7 +54,7 @@ firedrake-configure
54
To simplify the installation process, Firedrake provides a utility script called
55
``firedrake-configure``. This script can be downloaded by executing::
56
57
- $ curl -O https://raw.githubusercontent.com/firedrakeproject/firedrake/master/scripts/firedrake-configure
+ $ curl -O https://raw.githubusercontent.com/firedrakeproject/firedrake/main/scripts/firedrake-configure
58
59
Note that ``firedrake-configure`` **does not install Firedrake for you**. It
60
is simply a helper script that emits the configuration options that Firedrake
0 commit comments