From 19d3a7f5b6bcc89fc59e28d51a9cf3d18bfafb9b Mon Sep 17 00:00:00 2001
From: Eli Schwartz <eschwartz@archlinux.org>
Date: Fri, 29 Jan 2021 12:14:57 -0500
Subject: CI: arch: get hotdoc from official repos

It is now officially packaged.
---
 ci/ciimage/arch/install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/ciimage/arch/install.sh b/ci/ciimage/arch/install.sh
index 09a91a4..683986f 100755
--- a/ci/ciimage/arch/install.sh
+++ b/ci/ciimage/arch/install.sh
@@ -12,12 +12,12 @@ pkgs=(
   itstool gtk3 java-environment=8 gtk-doc llvm clang sdl2 graphviz
   doxygen vulkan-validation-layers openssh mercurial gtk-sharp-2 qt5-tools
   libwmf valgrind cmake netcdf-fortran openmpi nasm gnustep-base gettext
-  python-lxml
+  python-lxml hotdoc
   # cuda
 )
 
 aur_pkgs=(scalapack)
-pip_pkgs=(hotdoc gcovr)
+pip_pkgs=(gcovr)
 cleanup_pkgs=(go)
 
 AUR_USER=docker
-- 
cgit v1.1