From d251d507d10b91cfc0df8201f3021538907ff29a Mon Sep 17 00:00:00 2001
From: Robert Eckelmann <longnoserob@postmarketos.org>
Date: Tue, 7 Oct 2025 20:59:23 +0900
Subject: [PATCH] CI: correct description of docs build tools

Signed-off-by: Robert Eckelmann <longnoserob@postmarketos.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7151>
---
 .ci/build-docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/build-docs.sh b/.ci/build-docs.sh
index 29c754a57..97e5e5bb8 100755
--- a/.ci/build-docs.sh
+++ b/.ci/build-docs.sh
@@ -1,7 +1,7 @@
 #!/bin/sh -e
 # Copyright 2025 Pablo Correa Gomez
 # SPDX-License-Identifier: GPL-3.0-or-later
-# Description: create documentation with sphinx
+# Description: create documentation with antora
 # Options: with-dot-git
 # Artifacts: build/site
 # https://postmarketos.org/pmb-ci