From: Ben Pfaff <blp@gnu.org>
Date: Thu, 18 Feb 2010 21:06:51 +0000 (-0800)
Subject: Look for pspp.pot in both build and source directories.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=59f020fe17e2c7815d4ebb941aa0240590de2d17;p=pspp

Look for pspp.pot in both build and source directories.

They are in different locations on "stable" and "master".
---

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");