website: upload: separate jarrg linux/source tarballs

diff --git a/yarrg/web/upload b/yarrg/web/upload
index 0b55d4dda203f2b38ff12926e63d86e16ac239e5..6ced36462fd76dc3cd1a8df0a83cf4105bdf2ca0 100755 (executable)
--- a/yarrg/web/upload
+++ b/yarrg/web/upload
@@ -105,7 +105,7 @@ report the problem to us, not to Three Rings.
 <h3>Installing and running on Linux</h3>
 
 Download
-<& downloadurl, leaf => 'jarrg.tar.gz' &>
+<& downloadurl, leaf => 'jarrg-linux.tar.gz' &>
 and unpack it.  You run jarrg from the command line.  Change
 (<code>cd</code>) to the top level <code>jarrg</code> directory
 which was created when you unpacked the tarball, and then run
@@ -191,14 +191,14 @@ the MIT-style two-clause licence.
 
 <p>
 
-The download directory can contains other versions (eg unreleased test
-versions), which you can see here:
+The code for the downloadable binaries is in
+in <& downloadurl, leaf=>'jarrg-source.tar.gz' &>.
+The download directory also sometimes contains other versions
+(eg unreleased test versions), which you can see here:
  <& downloadurl, leaf => '', test => 0 &>
 
 <p>
 
-The source code for the downloadable released binaries is in the
-<&| downloadurl, leaf=>'jarrg.tar.gz' &>Linux tarball</&>.
 We maintain JARRG in git, and you can get
 source code for recent and perhaps unreleased versions from one of:
 <pre>