diff doc/interpreter/Makefile.in @ 2811:1dd37f97364a

[project @ 1997-03-12 23:06:13 by jwe]
author jwe
date Wed, 12 Mar 1997 23:06:23 +0000
parents 18395aaeafb7
children 6d56646a2d1f
line wrap: on
line diff
--- a/doc/interpreter/Makefile.in
+++ b/doc/interpreter/Makefile.in
@@ -80,7 +80,7 @@
 check: all
 .PHONY: check
 
-install: all
+install install-strip: all
 	$(top_srcdir)/mkinstalldirs $(man1dir) $(infodir)
 	@if test -d $(man1dir) ; then \
 	  rm -f $(man1dir)/octave$(man1ext) ; \
@@ -117,7 +117,7 @@
 	    $(INSTALL_DATA) $(srcdir)/dir $(infodir)/dir ; \
 	  fi ; \
 	fi
-.PHONY: install
+.PHONY: install install-strip
 
 uninstall:
 	rm -f $(infodir)/octave.info* $(man1dir)/octave$(man1ext)