diff --git a/Documentation/doc/resources/1.9.3/menu_version.js b/Documentation/doc/resources/1.9.3/menu_version.js index e8a424f40cd..94aa6388f05 100644 --- a/Documentation/doc/resources/1.9.3/menu_version.js +++ b/Documentation/doc/resources/1.9.3/menu_version.js @@ -7,8 +7,9 @@ var all_versions = [ 'master', 'latest', - '5.4', - '5.3.1', + '5.5', + '5.4.2', + '5.3.2', '5.2.4', '5.1.5', '5.0.4',