diff --git a/Doc/Manual/Contents.html b/Doc/Manual/Contents.html index 736bd08a8..04cbbcf2a 100644 --- a/Doc/Manual/Contents.html +++ b/Doc/Manual/Contents.html @@ -1332,7 +1332,7 @@
  • Further details on the Python class interface