[7909] info_find_file do not lowercase filename

[gavinsmith0123]

Revision: 7909
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7909
Author:   gavin
Date:     2017-07-09 10:38:01 -0400 (Sun, 09 Jul 2017)
Log Message:
-----------
info_find_file do not lowercase filename

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/info/nodes.c

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2017-07-06 18:53:19 UTC (rev 7908)
+++ trunk/ChangeLog     2017-07-09 14:38:01 UTC (rev 7909)
@@ -1,3 +1,8 @@
+2017-07-09  Gavin Smith  <address@hidden>
+
+       * info/nodes.c (info_find_file): Do not convert the filename to 
+       lowercase and check for it again if a file was not found.
+
 2017-07-06  Gavin Smith  <address@hidden>
 
        * info/t/inc-sea-bs.sh: New test.

Modified: trunk/info/nodes.c
===================================================================
--- trunk/info/nodes.c  2017-07-06 18:53:19 UTC (rev 7908)
+++ trunk/info/nodes.c  2017-07-09 14:38:01 UTC (rev 7909)
@@ -631,35 +631,6 @@
   else
     fullpath = xstrdup (filename);
 
-  /* FIXME: Put the following in info_find_fullpath, or remove
-     it altogether. */
-  /* If the file referenced by the name returned from info_find_fullpath ()
-     doesn't exist, then try again with the last part of the filename
-     appearing in lowercase. */
-  /* This is probably not needed at all on those systems which define
-     FILENAME_CMP to be mbscasecmp.  But let's do it anyway, lest some
-     network redirector supports case sensitivity.  */
-  if (!fullpath)
-    {
-      char *lowered_name;
-      char *tmp_basename;
-
-      lowered_name = xstrdup (filename);
-      tmp_basename = filename_non_directory (lowered_name);
-
-      while (*tmp_basename)
-        {
-          if (isupper (*tmp_basename))
-            *tmp_basename = tolower (*tmp_basename);
-
-          tmp_basename++;
-        }
-
-      fullpath = info_find_fullpath (lowered_name, 0);
-
-      free (lowered_name);
-    }
-
   /* If the file wasn't found, give up, returning a NULL pointer. */
   if (!fullpath)
     return NULL;