diff --git a/doc/_static/install.html b/doc/_static/install.html index 5660c9517..22db7d74d 100644 --- a/doc/_static/install.html +++ b/doc/_static/install.html @@ -29,7 +29,7 @@ - +