diff --git a/etc/ChangeLog b/etc/ChangeLog
index a0fa1274154..fd414b0f3e8 100644
--- a/etc/ChangeLog
+++ b/etc/ChangeLog
@@ -1,3 +1,9 @@
+2011-01-07  Tassilo Horn  <tassilo@member.fsf.org>
+
+	* themes/tsdh-light-theme.el, themes/tsdh-dark-theme.el: Remove
+	dev-prefix from file names, so that the files don't clash on 8x3
+	filesystems.
+
 2011-01-06  Tassilo Horn  <tassilo@member.fsf.org>
 
 	* themes/dev-tsdh-light-theme.el (dev-tsdh-light): New theme.
diff --git a/etc/themes/dev-tsdh-dark-theme.el b/etc/themes/tsdh-dark-theme.el
similarity index 100%
rename from etc/themes/dev-tsdh-dark-theme.el
rename to etc/themes/tsdh-dark-theme.el
diff --git a/etc/themes/dev-tsdh-light-theme.el b/etc/themes/tsdh-light-theme.el
similarity index 100%
rename from etc/themes/dev-tsdh-light-theme.el
rename to etc/themes/tsdh-light-theme.el