diff options
author | Eli Zaretskii <eliz@gnu.org> | 2000-05-17 11:45:56 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2000-05-17 11:45:56 +0000 |
commit | d3229ae3bd75cc51f2f6542b542c50db93172be6 (patch) | |
tree | 4cb73cff2151314730c67e94a05708a8747c51f5 /mmalloc | |
parent | d80380145f9edc769f421ab26a0f27819d39b9b5 (diff) | |
download | gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.zip gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.tar.gz gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.tar.bz2 |
* mmalloc/Makefile.in (install-info): Make sure $(infodir) exists.
Run install-info program on the installed Info files.
* gdb/doc/Makefile.in (install-info): Run install-info on installed
Info files.
Diffstat (limited to 'mmalloc')
-rw-r--r-- | mmalloc/ChangeLog | 5 | ||||
-rw-r--r-- | mmalloc/Makefile.in | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/mmalloc/ChangeLog b/mmalloc/ChangeLog index 31df15f..20339a5 100644 --- a/mmalloc/ChangeLog +++ b/mmalloc/ChangeLog @@ -1,3 +1,8 @@ +2000-05-17 Eli Zaretskii <eliz@is.elta.co.il> + + * Makefile.in (install-info): Make sure $(infodir) exists. Run + install-info program on the installed Info files. + 2000-03-20 Eli Zaretskii <eliz@is.elta.co.il> * Makefile.in (install): Append "n", not ".n" to libmmalloc.a, diff --git a/mmalloc/Makefile.in b/mmalloc/Makefile.in index 3c0c94e..cde3989 100644 --- a/mmalloc/Makefile.in +++ b/mmalloc/Makefile.in @@ -110,8 +110,13 @@ mmalloc.dvi: mmalloc.texi rm -f mmalloc.?? mmalloc.??s mmalloc.log mmalloc.aux mmalloc.toc install-info: info + $(SHELL) $(srcdir)/../mkinstalldirs $(infodir) if test ! -f mmalloc.info ; then cd $(srcdir); fi; \ $(INSTALL_DATA) mmalloc.info $(infodir)/mmalloc.info + @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \ + echo " install-info --info-dir=$(infodir) $(infodir)/mmalloc.info";\ + install-info --info-dir=$(infodir) $(infodir)/mmalloc.info || :;\ + else : ; fi check: test1.c # $(CC) -g $(srcdir)/test1.c libmmalloc.a |