diff --git a/doc/installation.html b/doc/installation.html index 746e6a5f8..48b5d2c8b 100644 --- a/doc/installation.html +++ b/doc/installation.html @@ -35,6 +35,8 @@

Requirements

and backend-specific dependencies: