changeset 10491:1dfe208dba77

Move away old codecs.conf files.
author diego
date Mon, 28 Jul 2003 02:02:20 +0000
parents 37915f569f6d
children fbf6c613e671
files Makefile
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Mon Jul 28 01:57:50 2003 +0000
+++ b/Makefile	Mon Jul 28 02:02:20 2003 +0000
@@ -283,6 +283,7 @@
 	@echo "*** for GUI, and extract to $(DATADIR)/Skin/"
 endif
 	@if test ! -d $(CONFDIR) ; then mkdir -p $(CONFDIR) ; fi
+	@if test -f $(CONFDIR)/codecs.conf ; then mv -f $(CONFDIR)/codecs.conf $(CONFDIR)/codecs.conf.old ; fi
 ifeq ($(DVDKIT_SHARED),yes)
 ifeq ($(DVDKIT2),yes)
 	if test ! -d $(LIBDIR) ; then mkdir -p $(LIBDIR) ; fi