simonb 1adc8dd435 Don't rebuild "fini" _every_ time make(1) is run; avoids a complete ... rebuild of f771 all the time.		2001-11-08 00:13:53 +00:00
..
Makefile	Don't rebuild "fini" _every_ time make(1) is run; avoids a complete	2001-11-08 00:13:53 +00:00