BUG 19363801 Added Debian Ubuntu specific path for INFO files

Author: Akhil Mohan

mysql-test/t/file_contents.test

@@ -25,6 +25,10 @@ if ($dir_bin =~ m|/usr/|) {
  if (! -d "$dir_docs") {
  # If not it might be ULN so try that
  $dir_docs = glob "$dir_bin/share/doc/mysql-*-server*";
+ if (! -f "$dir_docs/INFO_BIN") {
+ # Debian/ Ubuntu
+ $dir_docs = glob "$dir_bin/share/mysql/docs";
+ }
  }
  }
 } elsif ($dir_bin =~ m|/usr$|) {
@@ -39,6 +43,10 @@ if ($dir_bin =~ m|/usr/|) {
  if (! -d "$dir_docs") {
  # If not it might be ULN so try that
  $dir_docs = glob "$dir_bin/share/doc/mysql-*-server*";
+ if (! -f "$dir_docs/INFO_BIN") {
+ # Debian/ Ubuntu
+ $dir_docs = glob "$dir_bin/share/mysql/docs";
+ }
  }
  }
 } else {