diff configure @ 11181:ac7b515a4064

Man pages moved to DOCS/man/.
author diego
date Sun, 19 Oct 2003 20:20:45 +0000
parents f5629a5b79f7
children d699d589ed48
line wrap: on
line diff
--- a/configure	Sun Oct 19 20:03:55 2003 +0000
+++ b/configure	Sun Oct 19 20:20:45 2003 +0000
@@ -1871,7 +1871,7 @@
 done
 test -z "$_language" && _language=en
 for i in $LANGUAGES ; do
-  if test -f "DOCS/$i/mplayer.1" ; then
+  if test -f "DOCS/man/$i/mplayer.1" ; then
     LANGUAGES=`echo $LANGUAGES | sed "s/$i *//2" | sed 's/ *$//'`
   else
     LANGUAGES=`echo $LANGUAGES | sed "s/$i *//g" | sed 's/ *$//'`