From 43a4bde6004e978173cb7254176116e50d799842 Mon Sep 17 00:00:00 2001
From: Marijn Suijten <marijns95@gmail.com>
Date: Tue, 4 May 2021 22:48:52 +0200
Subject: [PATCH] CI: Ensure all documentation comments are protected against
 stripping

---
 .gitlab-ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0eeac7976..cbad943b9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -444,6 +444,16 @@ coverage:
     reports:
       cobertura: coverage.xml
 
+doc-stripping:
+  variables:
+    GIT_SUBMODULE_STRATEGY: recursive
+  extends: .img-nightly
+  stage: 'extras'
+  script:
+    - cargo install rustdoc-stripper
+    - PATH=~/.cargo/bin/:$PATH ./generator.py --strip-docs --no-fmt
+    - 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:
   variables:
     GIT_SUBMODULE_STRATEGY: recursive