diff --git a/doc/html/Manual.html b/doc/html/Manual.html index a50f547250..746bc6217a 100644 --- a/doc/html/Manual.html +++ b/doc/html/Manual.html @@ -72,7 +72,8 @@ -
-

Restrictions

+

5.3.4.1. Restrictions

None.

@@ -277,6 +320,15 @@ MPI tasks to a (multi-core) socket, should solve this issue.