diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js index 798af9fee04..fd75226e1e9 100644 --- a/Documentation/doc/resources/1.8.13/menu_version.js +++ b/Documentation/doc/resources/1.8.13/menu_version.js @@ -8,8 +8,8 @@ 'master', 'latest', '4.14', - '4.13', - '4.12.1', + '4.13.1', + '4.12.2', '4.11.3', '4.10.2', '4.9.1', diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js index 798af9fee04..fd75226e1e9 100644 --- a/Documentation/doc/resources/1.8.14/menu_version.js +++ b/Documentation/doc/resources/1.8.14/menu_version.js @@ -8,8 +8,8 @@ 'master', 'latest', '4.14', - '4.13', - '4.12.1', + '4.13.1', + '4.12.2', '4.11.3', '4.10.2', '4.9.1', diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js index 798af9fee04..fd75226e1e9 100644 --- a/Documentation/doc/resources/1.8.4/menu_version.js +++ b/Documentation/doc/resources/1.8.4/menu_version.js @@ -8,8 +8,8 @@ 'master', 'latest', '4.14', - '4.13', - '4.12.1', + '4.13.1', + '4.12.2', '4.11.3', '4.10.2', '4.9.1',