# HG changeset patch
# User jwe
# Date 787283637 0
# Node ID 43fc9111033d6d9e3963dea9f50df6bf60705526
# Parent  99dcb231f215b3f39374b680c30fba4f6edb5cdc
[project @ 1994-12-13 01:53:57 by jwe]

diff -r 99dcb231f215 -r 43fc9111033d doc/interpreter/Makefile.in
--- a/doc/interpreter/Makefile.in	Tue Dec 13 01:39:22 1994 +0000
+++ b/doc/interpreter/Makefile.in	Tue Dec 13 01:53:57 1994 +0000
@@ -139,14 +139,16 @@
 
 install: all
 	$(top_srcdir)/mkinstalldirs $(infodir) $(mandir)
-	if test -d $(infodir) ; then \
+	@if test -d $(infodir) ; then \
 	  rm -f $(infodir)/octave.info* ; \
 	  if test -f octave.info ; then \
 	    for f in octave.info* ; do \
+	      echo "installing $$f in $(infodir)/$$f" ; \
 	      $(INSTALL_DATA) $$f $(infodir)/$$f ; \
 	    done ; \
 	  else \
 	    for f in $(srcdir)/octave.info* ; do \
+	      echo "installing $$f in $(infodir)/`basename $$f` ; \
 	      $(INSTALL_DATA) $$f $(infodir)/`basename $$f` ; \
 	    done ; \
 	  fi ; \
@@ -160,11 +162,13 @@
 	    echo "to $(infodir)/dir." ; \
 	    echo "" ; \
 	  else \
+	    echo "installing $(srcdir)/dir in $(infodir)/dir" ; \
 	    $(INSTALL_DATA) $(srcdir)/dir $(infodir)/dir ; \
 	  fi ; \
 	fi
-	if test -d $(mandir) ; then \
+	@if test -d $(mandir) ; then \
 	  rm -f $(mandir)/octave.$(manext) ; \
+	  echo "installing $(srcdir)/octave.1 in $(mandir)/octave.$(manext) ; \
 	  $(INSTALL_DATA) $(srcdir)/octave.1 $(mandir)/octave.$(manext) ; \
 	fi
 .PHONY: install