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/Makefile.in | |
| 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/Makefile.in')
| -rw-r--r-- | mmalloc/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
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 |