diff src/Makefile.in @ 3072:ca9677cdb62e

[project @ 1997-07-15 02:45:42 by jwe]
author jwe
date Tue, 15 Jul 1997 02:45:53 +0000
parents 00ef82060ebc
children fe6f9bd9d0e6
line wrap: on
line diff
--- a/src/Makefile.in	Fri Jul 11 01:25:43 1997 +0000
+++ b/src/Makefile.in	Tue Jul 15 02:45:53 1997 +0000
@@ -316,7 +316,11 @@
 	done
 	for f in defaults.h oct-conf.h oct-gperf.h; do \
 	  rm -f $(octincludedir)/$$f; \
-	  $(INSTALL_DATA) $$f $(octincludedir)/$$f; \
+	  if [ -f $$f ]; then \
+	    $(INSTALL_DATA) $$f $(octincludedir)/$$f ; \
+	  else \
+	    $(INSTALL_DATA) $(srcdir)/$$f $(octincludedir)/$$f ; \
+	  fi ; \
 	done
 	$(mk-includedir-link)
 .PHONY: install-inc