1.1 --- a/docs/tools/make_pages.sh Tue Apr 11 21:28:23 2017 +0200
1.2 +++ b/docs/tools/make_pages.sh Tue Apr 11 21:37:49 2017 +0200
1.3 @@ -65,24 +65,28 @@
1.4 echo "AddRevision|$BASENAME|$PAGENAME" >> "$MANIFEST"
1.5 done
1.6
1.7 -# Combine the releases with the pages.
1.8 -
1.9 -ATTACHMENT="attachment_"
1.10 +if [ ! -e "releases" ]; then
1.11 + echo "No releases to add to the page package!" 1>&2
1.12 +else
1.13 + # Combine the releases with the pages.
1.14
1.15 -for FILENAME in releases/* ; do
1.16 - BASENAME=`basename "$FILENAME"`
1.17 - cp "$FILENAME" "$OUTDIR/$ATTACHMENT$BASENAME"
1.18 -done
1.19 + ATTACHMENT="attachment_"
1.20 +
1.21 + for FILENAME in releases/* ; do
1.22 + BASENAME=`basename "$FILENAME"`
1.23 + cp "$FILENAME" "$OUTDIR/$ATTACHMENT$BASENAME"
1.24 + done
1.25
1.26 -# Add the releases to the manifest.
1.27 + # Add the releases to the manifest.
1.28
1.29 -for FILENAME in releases/* ; do
1.30 - BASENAME=`basename "$FILENAME"`
1.31 - PAGENAME="Downloads"
1.32 - if [ "$PREFIX" ]; then
1.33 - PAGENAME="$PREFIX/$PAGENAME"
1.34 - fi
1.35 - echo "AddAttachment|$ATTACHMENT$BASENAME|$BASENAME|$PAGENAME" >> "$MANIFEST"
1.36 -done
1.37 + for FILENAME in releases/* ; do
1.38 + BASENAME=`basename "$FILENAME"`
1.39 + PAGENAME="Downloads"
1.40 + if [ "$PREFIX" ]; then
1.41 + PAGENAME="$PREFIX/$PAGENAME"
1.42 + fi
1.43 + echo "AddAttachment|$ATTACHMENT$BASENAME|$BASENAME|$PAGENAME" >> "$MANIFEST"
1.44 + done
1.45 +fi
1.46
1.47 zip -j "$OUTDIR" "$OUTDIR/"*