[devtools,1/1] doc: update default build host

Message ID 20210128224604.26886-1-list@eworm.de
State Accepted, archived
Headers show
Series [devtools,1/1] doc: update default build host | expand

Commit Message

Christian Hesse Jan. 28, 2021, 10:46 p.m. UTC
From: Christian Hesse <mail@eworm.de>

Commit 09e169b7418319eadfc4eab83fbf2fcc459d536e changed the default
build host from dragon.archlinux.org to build.archlinux.org - match
in documentation.

Signed-off-by: Christian Hesse <mail@eworm.de>
---
 doc/offload-build.1.asciidoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Patch

diff --git a/doc/offload-build.1.asciidoc b/doc/offload-build.1.asciidoc
index 3633faa..5c9515f 100644
--- a/doc/offload-build.1.asciidoc
+++ b/doc/offload-build.1.asciidoc
@@ -28,7 +28,7 @@  Options
 	architecture officially supported by Arch Linux.
 
 *-s, --server* <hostname>::
-	Offload to a specific build server. The default is dragon.archlinux.org
+	Offload to a specific build server. The default is build.archlinux.org
 	which is used as part of the build toolchain for the official Arch Linux
 	repos.