Port to gi-docgen

The file  was not used anywhere docs/reference/client-howto.xml.

1 files changed, 0 insertions, 24 deletions

diff --git a/.gitlab-ci/check-docs.py b/.gitlab-ci/check-docs.py
deleted file mode 100755
index 8d432df7..00000000
--- a/.gitlab-ci/check-docs.py
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/env python3
-
-import sys
-
-with open('_build/docs/reference/libsoup-3.0-unused.txt') as f:
-    unused_docs = f.read()
-
-if unused_docs:
-    print('There is documentation not listed in libsoup-3.0-sections.txt:')
-    print(unused_docs)
-    sys.exit(1)
-
-with open('_build/docs/reference/libsoup-3.0-undocumented.txt') as f:
-    # The file starts with a summary
-    # undocumented_summary = ''.join(f.readline() for i in range(6)).strip()
-    print(f.readline()) # e.g. 95% symbol docs coverage.
-    for i in range(4):
-        f.readline()
-    undocumented_list = f.read().strip()
-
-if undocumented_list:
-    print('There is missing documentation for these symbols:')
-    print(undocumented_list)
-    sys.exit(1)