karl@mote.umb.edu ("Karl Berry.") (01/17/89)
I am not sure if this is a bug or not. Typing `make' to the following Makefile: default: install install: echo hello default: install produces no output at all. Taking the second `default: install' out makes it say hello. Karl. karl@umb.edu