my $tarname = "pspp-$version.tar.gz";
$tarball = save_result ("source distribution", "pspp$build_number/_build/$tarname", 1);
+ # Save distributed files in Git.
+ start_step ("Save distributed files in Git");
+ run ("GIT_DIR=$topdir/.git $topdir/git-import-tar $resultsdir/$tarname refs/builds/$build_number/dist", "git-dist");
+
# Build user manual
start_step ("Build user manual");
run ("cd pspp$build_number && cp _build/doc/*.texi doc/");