diff --git a/Makefile b/Makefile index 5bef6f2b0..8c7717b34 100644 --- a/Makefile +++ b/Makefile @@ -209,4 +209,4 @@ doc: $(MAKE) -C Documentation doc clean: - rm -f $(OBJS) *~ $(NAME) + rm -f $(OBJS) *~ $(NAME) $(NAME).exe