var_append extraconfopt " " "--docdir=$docdir"