-sed < dist-pspp.in > "$outdir/dist-pspp" "
-s,[@]PSPP_COMMIT[@],$pspp_commit,g
-s,[@]GNULIB_COMMIT[@],$gnulib_commit,g
-s,[@]BRANCH[@],$branch,g
+for base in make-src-dist make-bin-dist; do
+ sed < $base.in > "$outdir/$base" "
+s,[@]BUILD_NUMBER[@],$BUILD_NUMBER,g
+s,[@]PSPP_REPO[@],$PSPP_REPO,g
+s,[@]PSPP_BRANCH[@],$PSPP_BRANCH,g
+s,[@]PSPP_COMMIT[@],$PSPP_COMMIT,g
+s,[@]GNULIB_COMMIT[@],$GNULIB_COMMIT,g
+s,[@]GNULIB_REPO[@],$GNULIB_REPO,g