Delete a.out when distcleaning.

diff --git a/Makefile b/Makefile
index be608bfec0da1b44c0bfe3c0e88997b3c09a190b..3c67ea1d67d9aa9a196f5e837681a6b58ad26e02 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -429,7 +429,7 @@ clean: $(SUB_CLEAN)
 
 
 distclean: clean
-       rm -f frotz$(EXTENSION) dfrotz$(EXTENSION) sfrotz$(EXTENSION)
+       rm -f frotz$(EXTENSION) dfrotz$(EXTENSION) sfrotz$(EXTENSION) a.out
        rm -f $(NAME)*.tar.gz
 
 help: