EXTRA_DIST = \ dosubst.awk \ grephdr.sh \ grepsrc.sh \ pogen.sh \ rename.sh