save POT file as build product

[pspp] / build-pspp

diff --git a/build-pspp b/build-pspp
index d8e4a794cb59d755f1dde8d0e2f4670413585233..4b3cf01b5bd6792c2647b7a0c645c019c72ed542 100755 (executable)
--- a/build-pspp
+++ b/build-pspp
@@ -251,6 +251,11 @@ EOF
     run ("cd pspp$build_number/_build && make dist", "dist");
     my $tarname = "pspp-$version.tar.gz";
     $tarball = save_result ("source distribution", "pspp$build_number/_build/$tarname", 1);
+    save_result ("translation templates", "pspp$build_number/_build/po/pspp.pot");
+
+    # 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");