CI: arch: get hotdoc from official repos

It is now officially packaged.
4 years ago · 19d3a7f5b6
parent 03b1955c68
commit 19d3a7f5b6
1 changed files with 2 additions and 2 deletions
--- 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