# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1491939469 -7200
# Node ID 9beac0f55ce542b27ea6aff833ba9cefa600eba7
# Parent  b4d6d0d3eb9057865d82852dfab2c9989e70c929
Handle absent release archives: do not generate erroneous attachment details.

diff -r b4d6d0d3eb90 -r 9beac0f55ce5 docs/tools/make_pages.sh
--- a/docs/tools/make_pages.sh	Tue Apr 11 21:28:23 2017 +0200
+++ b/docs/tools/make_pages.sh	Tue Apr 11 21:37:49 2017 +0200
@@ -65,24 +65,28 @@
     echo "AddRevision|$BASENAME|$PAGENAME" >> "$MANIFEST"
 done
 
-# Combine the releases with the pages.
-
-ATTACHMENT="attachment_"
+if [ ! -e "releases" ]; then
+    echo "No releases to add to the page package!" 1>&2
+else
+    # Combine the releases with the pages.
 
-for FILENAME in releases/* ; do
-    BASENAME=`basename "$FILENAME"`
-    cp "$FILENAME" "$OUTDIR/$ATTACHMENT$BASENAME"
-done
+    ATTACHMENT="attachment_"
+
+    for FILENAME in releases/* ; do
+        BASENAME=`basename "$FILENAME"`
+        cp "$FILENAME" "$OUTDIR/$ATTACHMENT$BASENAME"
+    done
 
-# Add the releases to the manifest.
+    # Add the releases to the manifest.
 
-for FILENAME in releases/* ; do
-    BASENAME=`basename "$FILENAME"`
-    PAGENAME="Downloads"
-    if [ "$PREFIX" ]; then
-        PAGENAME="$PREFIX/$PAGENAME"
-    fi
-    echo "AddAttachment|$ATTACHMENT$BASENAME|$BASENAME|$PAGENAME" >> "$MANIFEST"
-done
+    for FILENAME in releases/* ; do
+        BASENAME=`basename "$FILENAME"`
+        PAGENAME="Downloads"
+        if [ "$PREFIX" ]; then
+            PAGENAME="$PREFIX/$PAGENAME"
+        fi
+        echo "AddAttachment|$ATTACHMENT$BASENAME|$BASENAME|$PAGENAME" >> "$MANIFEST"
+    done
+fi
 
 zip -j "$OUTDIR" "$OUTDIR/"*