X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-pspp;h=be84459c484ef04afdde2551f261e200593ad478;hb=59f020fe17e2c7815d4ebb941aa0240590de2d17;hp=ce153b3024b74f97aa565b4b37bebd2675290627;hpb=215d09f8d91f75eac208d4945906a959bc508701;p=pspp

diff --git a/build-pspp b/build-pspp
index ce153b3024..be84459c48 100755
--- a/build-pspp
+++ b/build-pspp
@@ -251,7 +251,11 @@ EOF
     run ("cd pspp/_build && make dist", "dist");
     my $tarname = "pspp-$version.tar.gz";
     $tarball = save_result ("source distribution", "pspp/_build/$tarname", 1);
-    save_result ("translation templates", "pspp/_build/po/pspp.pot");
+
+    # Save translation templates.
+    my $potfile = "pspp/_build/po/pspp.pot";
+    $potfile = "pspp/po/pspp.pot" if ! -e $potfile;
+    save_result ("translation templates", $potfile);
 
     # Build user manual
     start_step ("Build user manual");