diff --git a/docs/manual/index.html b/docs/manual/index.html index 5073e8fff..9df48a04a 100644 --- a/docs/manual/index.html +++ b/docs/manual/index.html @@ -19,7 +19,7 @@