# HG changeset patch
# User diego
# Date 1083929107 0
# Node ID d79c772dd2efa554a7ddf5eaa03ca1863a26334c
# Parent  8a14673b5d57a16f5e9ab7c8faf6d2a7321f45b2
clarification

diff -r 8a14673b5d57 -r d79c772dd2ef configure
--- a/configure	Fri May 07 11:24:24 2004 +0000
+++ b/configure	Fri May 07 11:25:07 2004 +0000
@@ -6764,8 +6764,8 @@
 else
   cat <<EOF
 NOTE: Win32 codec DLLs are not supported on your CPU ($host_arch) or your
-operating system ($system_name). You may encounter a few AVI files that
-cannot be played due to missing Open Source video/audio codec support.
+operating system ($system_name). You may encounter a few files that cannot
+be played due to missing open source video/audio codec support.
 
 EOF
 fi