#!/bin/sh

# On www.red-bean.com, just "cd /home/www/html/ale; svn up && ./dist.sh"
# to publish the latest version of Ale.

./autogen.sh
# svn revision may be cached. We want to use the most up-to-date one.
# Therefore:
./configure --cache-file=/dev/null
make dist
cp docs/ale*.html www/
cp docs/ale*.ps www/