diff options
| -rwxr-xr-x | doc/scripts/dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/scripts/dist.sh b/doc/scripts/dist.sh index 0062d43bf..9629446cf 100755 --- a/doc/scripts/dist.sh +++ b/doc/scripts/dist.sh @@ -3,7 +3,7 @@ # This is probably only useful if run on my machine, which is not # exactly ideal -SELECTOR=h:net.randombit.botan +SELECTOR=h:net.randombit.botan.1_8 KEY_ID=EFBADFBC MTN_DB=/storage/mtn/botan.mtn WEB_DIR=~/projects/www |