branch master updated: * info/info.c (get_initial_file), * info/infodoc.c (info_get_info_help_node), Use strcasecmp instead of strcmp in previous change. This could better support case-insensitive file systems. From Eli.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new a69297a7b3 * info/info.c (get_initial_file), * info/infodoc.c 
(info_get_info_help_node), Use strcasecmp instead of strcmp in previous change. 
 This could better support case-insensitive file systems.  From Eli.
a69297a7b3 is described below

commit a69297a7b3e4c0f7bbca9df323b99aa968c13d09
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Thu Oct 19 14:15:12 2023 +0100

    * info/info.c (get_initial_file),
    * info/infodoc.c (info_get_info_help_node),
    Use strcasecmp instead of strcmp in previous change.  This
    could better support case-insensitive file systems.  From Eli.
---
 ChangeLog      | 7 +++++++
 info/info.c    | 2 +-
 info/infodoc.c | 4 ++--
 3 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 8c7e75eb9a..d4ad259625 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2023-10-19  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * info/info.c (get_initial_file),
+       * info/infodoc.c (info_get_info_help_node),
+       Use strcasecmp instead of strcmp in previous change.  This
+       could better support case-insensitive file systems.  From Eli.
+
 2023-10-19  Gavin Smith <gavinsmith0123@gmail.com>
 
        * info/info.c (get_initial_file),
diff --git a/info/info.c b/info/info.c
index d7a6afaa2c..37bbb5e899 100644
--- a/info/info.c
+++ b/info/info.c
@@ -250,7 +250,7 @@ get_initial_file (int *argc, char ***argv, char **error)
     {
       /* If they say info info (or info -O info, etc.), show them 
          info-stnd.texi.  (Get info.texi with info -f info.) */
-      if ((*argv)[0] && strcmp ((*argv)[0], "info") == 0)
+      if ((*argv)[0] && strcasecmp ((*argv)[0], "info") == 0)
         (*argv)[0] = "info-stnd";
 
       entry = lookup_dir_entry ((*argv)[0], 0);
diff --git a/info/infodoc.c b/info/infodoc.c
index 2b7b752708..7e79211ebd 100644
--- a/info/infodoc.c
+++ b/info/infodoc.c
@@ -357,8 +357,8 @@ DECLARE_INFO_COMMAND (info_get_info_help_node, _("Visit 
Info node '(info)Help'")
     for (win = windows; win; win = win->next)
       {
         if (win->node && win->node->fullpath
-            && !strcmp (filename_non_directory (win->node->fullpath), "info")
-            && (!strcmp (win->node->nodename, "Help")
+          && !strcasecmp (filename_non_directory (win->node->fullpath), "info")
+          && (!strcmp (win->node->nodename, "Help")
                 || !strcmp (win->node->nodename, "Help-Small-Screen")))
           {
             active_window = win;