Changeset 1362e61 in git for resources


Ignore:
Timestamp:
Nov 15, 2021, 3:02:53 PM (2 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
7477bb6b55510f172943d327677a257d9026c7f2
Parents:
efe997df8b63ca8a4894fe8e26972c35294c03d23259d7fbf895e51640743663e7f1704a6dedfbf6
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-11-15 15:02:53+01:00
git-committer:
GitHub <noreply@github.com>2021-11-15 15:02:53+01:00
Message:
Merge pull request #1108 from orlitzky/rename-info-file

Rename singular.hlp to singular.info
File:
1 edited

Legend:

Unmodified
Added
Removed

  • resources/feResource.cc

    refe997 r1362e61  
    7777  {"DataDir",   'D',    feResDir,   "SINGULAR_DATA_DIR",    "%b/../share/",          (char *)""},
    7878  {"DefaultDir",'d',    feResDir,   "SINGULAR_DEFAULT_DIR",  SINGULAR_DEFAULT_DIR,  (char *)""},
    79   {"InfoFile",  'i',    feResFile,  "SINGULAR_INFO_FILE",   "%D/info/singular.hlp", (char *)""},
     79  {"InfoFile",  'i',    feResFile,  "SINGULAR_INFO_FILE",   "%D/info/singular.info", (char *)""},
    8080  {"IdxFile",   'x',    feResFile,  "SINGULAR_IDX_FILE",    "%D/singular/singular.idx",  (char *)""},
    8181  {"HtmlDir",   'h',    feResDir,   "SINGULAR_HTML_DIR",    "%D/singular/html",              (char *)""},
Note: See TracChangeset for help on using the changeset viewer.