Add docbook-xml to required packages (needed for doc)

Signed-off-by: Stefan Weil <sw@weilnetz.de>
UB-Mannheim · Jul 8, 2022 · 28830f6 · 28830f6
1 parent 6f9df2a
commit 28830f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.sh b/.github/workflows/build.sh
@@ -31,7 +31,7 @@ echo deb https://qemu.weilnetz.de/debian/ testing contrib | \
 # Install packages.
 sudo apt-get update
 sudo apt-get install --assume-yes --no-install-recommends \
-  asciidoc xsltproc docbook-xsl \
+  asciidoc xsltproc docbook-xml docbook-xsl \
   automake dpkg-dev libtool pkg-config default-jdk-headless \
   mingw-w64-tools nsis g++-mingw-w64-${ARCH/_/-} \
   $PKG_ARCH-liblept5 $PKG_ARCH-curl \