diff --git a/DOCS/Hungarian/documentation.html b/DOCS/Hungarian/documentation.html index ff049efdb7..576896af64 100644 --- a/DOCS/Hungarian/documentation.html +++ b/DOCS/Hungarian/documentation.html @@ -8,6 +8,7 @@ [ English ] [ Hungarian ] [ German ] +[ French ]

diff --git a/DOCS/documentation.html b/DOCS/documentation.html index 1cdc2f09ac..8582d4fe15 100644 --- a/DOCS/documentation.html +++ b/DOCS/documentation.html @@ -8,6 +8,7 @@ [ English ] [ Hungarian ] [ German ] +[ French ]

@@ -909,6 +910,7 @@ other technical help from: