dist_tmp=dist_tmp/userv-$(VERSION)
dist_prune=\( -name CVS -o -name 'dist_tmp*' -o -name slash-etc -o -name vd \)
dist: dist-prep distclean
dist_tmp=dist_tmp/userv-$(VERSION)
dist_prune=\( -name CVS -o -name 'dist_tmp*' -o -name slash-etc -o -name vd \)
dist: dist-prep distclean