Update GPG key hs@schlittermann.de (new expiration date)
[exim-website.git] / script / build
1 #!/bin/bash
2
3 exec &>/tmp/website-$(date +%s).log
4
5 TARGET=${1:-/srv/www/vhosts/www.exim.org}
6 LATEST=`(cd docbook; ls -1dv [0-9].[0-9]* | tail -1)`
7
8 script/gen \
9   --web \
10   --spec docbook/*/spec.xml \
11   --filter  docbook/*/filter.xml \
12   --tmpl templates \
13   --latest "$LATEST" \
14   --docroot "$TARGET"