# HG changeset patch
# User jwe
# Date 787294344 0
# Node ID 4793e60ad17c849454c80bc3e2d3131f6036e18f
# Parent  0f3e32a0c4403bb927146606582eb65d55fd11a8
[project @ 1994-12-13 04:52:24 by jwe]

diff -r 0f3e32a0c440 -r 4793e60ad17c doc/interpreter/Makefile.in
--- a/doc/interpreter/Makefile.in	Tue Dec 13 04:40:28 1994 +0000
+++ b/doc/interpreter/Makefile.in	Tue Dec 13 04:52:24 1994 +0000
@@ -157,14 +157,18 @@
 	    done ; \
 	  fi ; \
 	  if test -f $(infodir)/dir ; then \
-	    echo "" ; \
-	    echo "You should add the following entry" ; \
-	    echo "" ; \
-	    echo "* Octave: (octave)." ; \
-	    echo "	Interactive language for numerical computations." ; \
-	    echo "" ; \
-	    echo "to $(infodir)/dir." ; \
-	    echo "" ; \
+	    if grep "^\* Octave: (octave)." $(infodir)/dir > /dev/null ; then \
+	      true ; \
+	    else \
+	      echo "" ; \
+	      echo "You should add the following entry" ; \
+	      echo "" ; \
+	      echo "* Octave: (octave)." ; \
+	      echo "	Interactive language for numerical computations." ; \
+	      echo "" ; \
+	      echo "to $(infodir)/dir." ; \
+	      echo "" ; \
+	    fi ; \
 	  else \
 	    echo "installing $(srcdir)/dir in $(infodir)" ; \
 	    $(INSTALL_DATA) $(srcdir)/dir $(infodir)/dir ; \