Update GPG key hs@schlittermann.de (new expiration date)

[exim-website.git] / script / build

#!/bin/bash

exec &>/tmp/website-$(date +%s).log

TARGET=${1:-/srv/www/vhosts/www.exim.org}
LATEST=`(cd docbook; ls -1dv [0-9].[0-9]* | tail -1)`

script/gen \
  --web \
  --spec docbook/*/spec.xml \
  --filter  docbook/*/filter.xml \
  --tmpl templates \
  --latest "$LATEST" \
  --docroot "$TARGET"