*** Makefile.orig	Wed Oct 19 20:31:07 1994
--- Makefile	Wed Oct 19 20:31:30 1994
***************
*** 71,77 ****
  check_defs:
  	SHELL=${SHELL} ROOT=${ROOT} ${SHELL} ${CHECKDEFS}
  
! install: ${DEFS_SH}
  	@. ./${DEFS_SH}; \
  	   case "$$DONT_INSTALL" in \
  	   ?*)	echo Testing ... install ignored; exit 0;; \
--- 71,77 ----
  check_defs:
  	SHELL=${SHELL} ROOT=${ROOT} ${SHELL} ${CHECKDEFS}
  
! install: ${DEFS_SH} installman
  	@. ./${DEFS_SH}; \
  	   case "$$DONT_INSTALL" in \
  	   ?*)	echo Testing ... install ignored; exit 0;; \