diff --git a/doc/_static/install.html b/doc/_static/install.html index 9de62af57..5660c9517 100644 --- a/doc/_static/install.html +++ b/doc/_static/install.html @@ -35,7 +35,7 @@