fieker-DuValspielwiese
Last change
on this file since 148c3f7 was
3259d7,
checked in by Michael Orlitzky <michael@…>, 3 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:
955 bytes
|
Line | |
---|
1 | ACLOCAL_AMFLAGS = -I m4 |
---|
2 | |
---|
3 | SUBDIRS = resources omalloc factory \ |
---|
4 | libpolys gfanlib IntegerProgramming \ |
---|
5 | kernel Singular \ |
---|
6 | dox emacs redhat desktop |
---|
7 | |
---|
8 | DIST_SUBDIRS = $(SUBDIRS) doc |
---|
9 | if ENABLE_DOC_BUILD |
---|
10 | SUBDIRS += doc |
---|
11 | endif |
---|
12 | |
---|
13 | EXTRA_DIST = README README.md README.pkg autogen.sh doxy redhat/singular.spec.in GPL2 GPL3 |
---|
14 | |
---|
15 | bin_SCRIPTS = libsingular-config |
---|
16 | |
---|
17 | install-data-local: |
---|
18 | if test -e $(srcdir)/doc/doc.tbz2; then\ |
---|
19 | (cat ${top_srcdir}/doc/doc.tbz2| (cd $(DESTDIR)$(datadir)/singular; tar -jx --no-same-owner -f -));\ |
---|
20 | mkdir $(DESTDIR)$(datadir)/info;\ |
---|
21 | mkdir $(DESTDIR)$(datadir)/doc;\ |
---|
22 | mv $(DESTDIR)$(datadir)/singular/singular.info $(DESTDIR)$(datadir)/info/.;\ |
---|
23 | fi |
---|
24 | |
---|
25 | uninstall-local: |
---|
26 | -(cd $(DESTDIR)$(datadir); rm -rf singular info/singular.info) |
---|
27 | |
---|
28 | configheaderdir = ${includedir}/singular |
---|
29 | nodist_configheader_HEADERS = singularconfig.h |
---|
30 | DISTCLEANFILES = $(nodist_configheader_HEADERS) |
---|
31 | |
---|
32 | pkgconfigdir = $(libdir)/pkgconfig |
---|
33 | pkgconfig_DATA = Singular.pc |
---|
Note: See
TracBrowser
for help on using the repository browser.