CI: arch: get hotdoc from official repos
It is now officially packaged.
@@ -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
