Searched refs:dist_man (Results 1 – 1 of 1) sorted by relevance
43 dist_man=$(printf '%s\n' "$include" | sed 's/\.x$/.1/')44 test -f "$dist_man" && cp "$dist_man" "$output" && exit || :