[#2018] Tentative fix for CI

diff --git a/doc/sphinx/arm/rst_arm_sources.mk b/doc/sphinx/arm/rst_arm_sources.mk
index 947e3a058a4b111fbe624baa637df3d2bfb864ad..f8bbb8c521864d1584148b32700f58fde22f0704 100644 (file)
--- a/doc/sphinx/arm/rst_arm_sources.mk
+++ b/doc/sphinx/arm/rst_arm_sources.mk
@@ -25,6 +25,7 @@ rst_arm_sources += arm/hooks-run-script.rst
 rst_arm_sources += arm/hooks-stat-cmds.rst
 rst_arm_sources += arm/hooks.rst
 rst_arm_sources += arm/install.rst
+rst_arm_sources += arm/integrations.rst
 rst_arm_sources += arm/intro.rst
 rst_arm_sources += arm/keactrl.rst
 rst_arm_sources += arm/lease-expiration.rst