From 01228d2f2f06f1edcccdab5b44e43bc0efe1e60e Mon Sep 17 00:00:00 2001
From: Michael Hoffmann <hoffmann@inf.ethz.ch>
Date: Mon, 27 Mar 2006 12:20:34 +0000
Subject: [PATCH] Make KEY case-insensitive in support_menu.

---
 Installation/install_cgal | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Installation/install_cgal b/Installation/install_cgal
index b5d42a3704a..76bda9b63e0 100755
--- a/Installation/install_cgal
+++ b/Installation/install_cgal
@@ -4685,6 +4685,7 @@ support_menu()
 	print_line     "${_bold_on}<T>${_bold_off}  Test (and save) setup"
 	menu_tailer 'Main Menu'
 
+	KEY=`echo "${KEY}" | ${_tr} [:lower:] [:upper:]`
 	case $KEY in
 	    t|T) go_down_lines 3
 		flush_buffer