new: no output redirection if STDIN is a terminal

[exim-website.git] / script / build.sh

diff --git a/script/build.sh b/script/build.sh
deleted file mode 100755 (executable)
index 1a9403ac2d23ea2921d31f2eec3a70f7915c7ac1..0000000000000000000000000000000000000000
--- a/script/build.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-TARGET=${1-/srv/www/vhosts/dev.exim.org}
-LATEST=`(cd docbook; ls -1d [0-9].[0-9]* | tail -1)`
-
-set -x
-script/gen.pl \
-  --web \
-  --spec docbook/*/spec.xml \
-  --filter  docbook/*/filter.xml \
-  --latest ${LATEST} \
-  --tmpl templates \
-  --docroot ${TARGET}

diff --git a/script/build.sh b/script/build.sh
new file mode 120000 (symlink)
index 0000000000000000000000000000000000000000..c795b054e5ade51b7031abab1581a5b7e2d2f5ba
--- /dev/null
+++ b/script/build.sh
@@ -0,0 +1 @@
+build
\ No newline at end of file