From e5a785c9a569581f173c4509df25c24bdbd6d119 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebastian=20Dr=C3=B6ge?= <sebastian@centricular.com>
Date: Sun, 4 Sep 2022 10:39:48 +0300
Subject: [PATCH] ci: Embed docs before removing them to check more completely
 that there are no leftover docs

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 197d1ff08..8eafb2361 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -525,7 +525,8 @@ doc-stripping:
       artifacts: false
   script:
     - git submodule update --checkout
-    - PATH=~/.cargo/bin/:$PATH ./generator.py --gir-files-directories gir-files gst-gir-files --strip-docs --no-fmt
+    - PATH=~/.cargo/bin/:$PATH ./generator.py --gir-files-directories gir-files gst-gir-files --embed-docs
+    - PATH=~/.cargo/bin/:$PATH ./generator.py --gir-files-directories gir-files gst-gir-files --strip-docs
     - git diff --quiet || (echo 'Files changed after running `rustdoc-stripper -s`, make sure all documentation is protected with `// rustdoc-stripper-ignore-next`!'; git diff; false)
 
 docs: