diff options
author | Erich Eckner <git@eckner.net> | 2019-02-07 11:17:14 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-02-07 11:17:14 +0100 |
commit | 1543a116a491199b6e39e1e18b4c13b8b72fbd26 (patch) | |
tree | 539ad9ffeca55bcaecc337f8badb87583c9d35bf | |
parent | 8f6ae5dfd64aa7ec57d8aa2b61db547716c62248 (diff) | |
download | releng-1543a116a491199b6e39e1e18b4c13b8b72fbd26.tar.xz |
update-website: default website repository is now "archweb32" instead of "website"
-rwxr-xr-x | update-website | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-website b/update-website index 447aa48..7df537a 100755 --- a/update-website +++ b/update-website @@ -3,7 +3,7 @@ set -e mirror_dir='/mnt/archlinux32' -website_dir='/usr/src/archlinux32/website' +website_dir='/usr/src/archlinux32/archweb32' usage() { >&2 echo '' |