# HG changeset patch
# User diego
# Date 1150564726 0
# Node ID 414398e3a3d3f4afbd79b2a80e5de58a5d0ec2e3
# Parent  f6396989d3946e4020973514e8c0f61bf009d445
Rename --with-libdvnav --> --with-dvdnavdir for consistency.

diff -r f6396989d394 -r 414398e3a3d3 configure
--- a/configure	Sat Jun 17 17:11:44 2006 +0000
+++ b/configure	Sat Jun 17 17:18:46 2006 +0000
@@ -2019,7 +2019,7 @@
   --language=*)
     _language=`echo $ac_option | cut -d '=' -f 2`
     ;;
-  --with-libdvdnav=*)
+  --with-dvdnavdir=*)
     _dvdnavdir=`echo $ac_option | cut -d '=' -f 2`
     ;;