--- themes/Makefile.in.orig	Mon Apr 26 23:53:58 1999
+++ themes/Makefile.in	Sun May  2 14:20:17 1999
@@ -221,6 +221,7 @@
 	    $(CHMOD) 755 $(DESTDIR)$(pkgdatadir)/themes/$$i ; \
 	    $(CHMOD) 644 $(DESTDIR)$(pkgdatadir)/themes/$$i/???* ; \
 	    rm -f $(DESTDIR)$(pkgdatadir)/themes/$$i/MAIN.in ; \
+	    rm -f $(DESTDIR)$(pkgdatadir)/themes/$$i/MAIN.in.orig ; \
 	  else \
 	    echo "ALERT!  Not overwriting theme $$i in $(DESTDIR)$(pkgdatadir)/themes.  You will need to update this theme manually." ; \
 	  fi ; \
