diff --git a/Installation/install_cgal b/Installation/install_cgal index d118e3a0a23..151ce5e7fe7 100755 --- a/Installation/install_cgal +++ b/Installation/install_cgal @@ -4730,7 +4730,7 @@ main_menu() print_line "${_bold_on}${_bold_off} Run all setup tests (no cache)" print_empty_line print_line "${_bold_on}${_bold_off} Build CGAL Libraries" - print_line "${_bold_on}${_bold_off} Install CGAL Libraries" + print_line "${_bold_on}${_bold_off} Install Menu" if [ -d "${CGAL_TEST_DIR}" -a -n "${LIB_COMPILED}" ]; then print_line "${_bold_on}${_bold_off} Run CGAL testsuite" fi