Changeset 3259d7 in git for Singular

Timestamp:

Jul 19, 2021, 12:05:53 AM (3 years ago)

Author:

Michael Orlitzky <michael@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

1362e6105131ed9d59ba96909ca0f4ba4b56c218

Parents:

1a010f4c0c6ebc290bbd35834683e4c4f52a0846

git-author:

Michael Orlitzky <michael@orlitzky.com>2021-07-18 18:05:53-04:00

git-committer:

Michael Orlitzky <michael@orlitzky.com>2021-07-18 18:19:31-04:00

Message:

**/*: rename singular.hlp to singular.info.

The help file presently named "singular.hlp" is intended to be read
with GNU Info, which looks for an extension of ".info" by
default. Thus, at the moment, one must run "info singular.hlp" to read
the installed file, whereas "info singular" is more natural.

This commit replaces "singular.hlp" with "singular.info" throughout
the source tree so that the file ultimately has the name that GNU Info
or Emacs expect.

Closes: https://github.com/Singular/Singular/issues/1107

Location:

Singular

Files:

• LIB/help.cnf (modified) (2 diffs)
• fehelp.cc (modified) (3 diffs)

Singular/LIB/help.cnf

@@ -6 +6 @@
 # known requirements:
 #  x- requires singular.idx
-#  i- requires singular.hlp
+#  i- requires singular.info
 #  h- requires html dir
 #  D- requires the environment variable DISPLAY
@@ -18 +18 @@
 #  %H: the www html  file
 #             (in the form https://www.singular.uni-kl.de/some/dir/sing_123.htm)
-#  %i: the complete path of singular.hlp
+#  %i: the complete path of singular.info
 #  %n: the info node
 #  %v: Singular version (in the form 4-0-0)

Singular/fehelp.cc

@@ -819 +819 @@
       case '#': break;
       case ' ': break;
-      case 'i': /* singular.hlp */
+      case 'i': /* singular.info */
       case 'x': /* singular.idx */
       case 'h': /* html dir */
@@ -958 +958 @@
                    break;
                  }
-        case 'i': /* singular.hlp */
+        case 'i': /* singular.info */
                  {
                    char *i_res=feResource('i');
@@ -964 +964 @@
                    else
                    {
-                     WarnS("singular.hlp not found");
+                     WarnS("singular.info not found");
                      return;
                    }