diff --git a/documentation/installation_guide.html b/documentation/installation_guide.html index a2f2840bd3..fea6204a54 100644 --- a/documentation/installation_guide.html +++ b/documentation/installation_guide.html @@ -16,7 +16,7 @@