From 3d6299cb463ce7da2604d04046ed1ca816f27034 Mon Sep 17 00:00:00 2001 From: Mathieu Tanneau <9593025+mtanneau@users.noreply.github.com> Date: Fri, 21 Jun 2024 13:41:30 -0400 Subject: [PATCH] Fix missing character in installation instructions --- docs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/README.md b/docs/README.md index 0991aaa13cb..78d5fdf0fde 100644 --- a/docs/README.md +++ b/docs/README.md @@ -23,7 +23,7 @@ $ cd ~/.julia/dev/JuMP The next step is to setup the `docs` environment. ``` -$ julia --project=docs -e 'import Pkg; Pkg.instantiate(); Pkg.develop(Pkg.PackageSpec(path=".")); Pkg.develop("MathOptInterface)' +$ julia --project=docs -e 'import Pkg; Pkg.instantiate(); Pkg.develop(Pkg.PackageSpec(path=".")); Pkg.develop("MathOptInterface")' ``` Now you're ready to build the documentation.