diff options
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 |