diff --git a/DOCS/French/documentation.html b/DOCS/French/documentation.html index 1845e5c05c..729b33c939 100644 --- a/DOCS/French/documentation.html +++ b/DOCS/French/documentation.html @@ -110,6 +110,9 @@