minor tweak to Makefile for DOS stuff

diff --git a/Makefile b/Makefile
index 729188f1bbd1c62b742d769954d7c427d698f5ea..5bf6caea3e4978fc048f686ea439cbc6c6c4deb1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -261,6 +261,7 @@ clean:
 
 distclean: clean
        rm -f $(BINNAME)$(EXTENSION) d$(BINNAME)$(EXTENSION)
+       rm -f $(BINNAME).exe $(BINNAME).bak $(BINNAME).lib
        rm -f *core $(SRCDIR)/*core
        -rm -rf $(distdir)
        -rm -f $(distdir).tar $(distdir).tar.gz