#!/usr/bin/env bash set -ex # A whole bunch of variables are defined in that file! . build/update_devel MAINDISTVNAME=$DISTVNAME #I think this was to publish the latest docs on the website #rm -rf $WEBDIR/doc #tar cf - --exclude='.#*' doc | ( cd $WEBDIR ; tar xf - ) . build/repackage_latest_update_rules set +x echo echo echo "sha256sum of archive files:" echo cat $RELDIR/$MAINDISTVNAME.*.sha256 | sed -e 's/^/ /' cat $RELDIR/$DISTVNAME.*.sha256 | sed -e 's/^/ /' echo echo "sha512sum of archive files:" echo cat $RELDIR/$MAINDISTVNAME.*.sha512 | sed -e 's/^/ /' cat $RELDIR/$DISTVNAME.*.sha512 | sed -e 's/^/ /'