--- ./wvDocBook.in.filename 2004-05-14 07:16:27.000000000 +0200 +++ ./wvDocBook.in 2004-05-14 07:16:37.000000000 +0200 @@ -116,7 +116,7 @@ if test "x$datadir" = "x"; then datadir=@datadir@ fi -xmlcfg="$datadir/wv/wvDocBook.xml" +xmlcfg="$datadir/wv/wvDocbook.xml" if test -r "$xmlcfg"; then okay=yes else