diff options
Diffstat (limited to 'doc/scripts')
| -rwxr-xr-x | doc/scripts/dist.sh | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/doc/scripts/dist.sh b/doc/scripts/dist.sh index 2b03b1a71..152b7e89b 100755 --- a/doc/scripts/dist.sh +++ b/doc/scripts/dist.sh @@ -3,16 +3,10 @@ # This is probably only useful if run on my machine, which is not # exactly ideal -# Make that limitation explicit -if [ $(hostname -s) != 'chihiro' ]; then - echo "This script probably won't work on this machine without fixes" - exit 1 -fi - SELECTOR=h:net.randombit.botan KEY_ID=EFBADFBC -MTN_DB=$HOME/var/mtn/botan.mtn -WEB_DIR=/var/www/randombit.net/files/botan/v1.9 +MTN_DB=/storage/mtn/botan.mtn +WEB_DIR=$HOME/projects/www/files/botan/v1.9/ DIST_DIR=~/Botan-dist # You shouldn't have to change anything after this |