spielwiese
Last change
on this file was
3259d7,
checked in by Michael Orlitzky <michael@…>, 2 years ago
|
**/*: 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
|
-
Property mode set to
100644
|
File size:
392 bytes
|
Line | |
---|
1 | # Generated by ../configure |
---|
2 | /cones.doc |
---|
3 | /pyobject.doc |
---|
4 | /Makefile-docbuild |
---|
5 | # Generated by make |
---|
6 | /*.tex |
---|
7 | !/singcard.tex |
---|
8 | /manual.* |
---|
9 | /T*.txt |
---|
10 | /example.ssi |
---|
11 | /example.txt |
---|
12 | /d2t_singular |
---|
13 | /examples |
---|
14 | /html |
---|
15 | /images/*.gif |
---|
16 | /images/*.jpg |
---|
17 | /images/*.xbm |
---|
18 | /QEPCAD-* |
---|
19 | /qepcad* |
---|
20 | /*.dot* |
---|
21 | /*.dir |
---|
22 | /*.pag |
---|
23 | /input |
---|
24 | /sing4ti2.* |
---|
25 | /save_i |
---|
26 | /*.ascii |
---|
27 | /*.dvi |
---|
28 | /*.idx |
---|
29 | /*.log |
---|
30 | /*.path |
---|
31 | /*.converted |
---|
32 | /temp* |
---|
33 | /ti_ip.tex |
---|
34 | /singular.info |
---|
35 | /doc.tbz2 |
---|
Note: See
TracBrowser
for help on using the repository browser.