diff --git a/doc/Section_python.html b/doc/Section_python.html index 0a577bccec..e2fb6ee55d 100644 --- a/doc/Section_python.html +++ b/doc/Section_python.html @@ -16,7 +16,7 @@ interface.