Eric Kow writes: > This causes make to spit out pithy messages like > [ghc] src/Darcs/IO.o Cool! How about a halfway house target like: remind_me_of_options_too: all echo "Here are the settings for various commands:" echo "GHC = $(GHC)" etc etc. Obviously I'm not serious about the _name_ of the target. ;-)