diff options
author | paltherr <paltherr@epfl.ch> | 2004-01-09 17:39:41 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-01-09 17:39:41 +0000 |
commit | 6a29f17c212f5980dea3e8973a024804b446ccdb (patch) | |
tree | ccccb98944ce1bba99a772d5cb489d884301bff9 /support/scripts/website-build | |
parent | ae638b7fc0fde4372111f6f826b8cf0392f35b8e (diff) | |
download | scala-6a29f17c212f5980dea3e8973a024804b446ccdb.tar.gz scala-6a29f17c212f5980dea3e8973a024804b446ccdb.tar.bz2 scala-6a29f17c212f5980dea3e8973a024804b446ccdb.zip |
- Added scripts website-build*
Diffstat (limited to 'support/scripts/website-build')
-rwxr-xr-x | support/scripts/website-build | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/support/scripts/website-build b/support/scripts/website-build new file mode 100755 index 0000000000..e11b716477 --- /dev/null +++ b/support/scripts/website-build @@ -0,0 +1,10 @@ +#!/bin/bash +########################################################-*-Shell-script-*-#### +# Website-Build Command +############################################################################## +# $Id$ + +source $0.sh; +${0##*/} "$@"; + +############################################################################## |