includetop=`echo "$includedir" | sed -e 's,/include/[^/]*$,/include/,'`
test "$includetop" = "/usr/include" && includetop="$includedir"
if test "x$includetop" != "$includedir"
then
includetop=`echo "$includedir" | sed -e 's,/include/[^/]*$,/include/,'`
test "$includetop" = "/usr/include" && includetop="$includedir"
if test "x$includetop" != "$includedir"
then