save POT file as build product

diff --git a/build-pspp b/build-pspp
index 6d13ccbf48ad0220e97e19799b9d9d314a914bc7..4b3cf01b5bd6792c2647b7a0c645c019c72ed542 100755 (executable)
--- a/build-pspp
+++ b/build-pspp
@@ -251,6 +251,7 @@ 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");