From 97bb2325df82ef020b33a787de6bf3245c6b893b Mon Sep 17 00:00:00 2001
From: trinity-1686a <trinity@deuxfleurs.fr>
Date: Thu, 18 Aug 2022 08:09:49 +0200
Subject: [PATCH] add check_doc_features to CI

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 41d99e1f6..e5e4c7577 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,9 +32,10 @@ maint-checks:
   stage: check
   image: debian:stable-slim
   script:
-    - apt-get update && apt-get install -y python3-toml
+    - apt-get update && apt-get install -y python3-toml python-is-python3 gawk
     - ./maint/check_toposort
     - ./maint/add_warning --check
+    - ./maint/check_doc_features
 
 rust-checks:
   # This is too slow (and the cacheing of the "cargo build" too flaky) to be a "check"