dist: do not distribute `CI.md`

`CI.md` slipped into the 8.15.0, 8.16.0 tarballs by accident.
Remove it again and update the checker exception.

Follow-up to fa3f889752e6b5034966de61a372a60773a69ca8 #17463

Closes #18549

diff --git a/.github/scripts/distfiles.sh b/.github/scripts/distfiles.sh
index 26370744d7fd44f59784b0bf20b850c8b17a0b01..eaa7857af27e38384029df518209ccc6e6d96024 100755 (executable)
--- a/.github/scripts/distfiles.sh
+++ b/.github/scripts/distfiles.sh
@@ -19,6 +19,7 @@ gitonly=".git*
 ^SECURITY.md
 ^LICENSES/*
 ^docs/examples/adddocsref.pl
+^docs/tests/CI.md
 ^docs/THANKS-filter
 ^projects/Windows/*
 ^scripts/ciconfig.pl
@@ -28,8 +29,7 @@ gitonly=".git*
 ^scripts/delta
 ^scripts/installcheck.sh
 ^scripts/release-notes.pl
-^scripts/singleuse.pl
-^tests/CI.md"
+^scripts/singleuse.pl"
 
 tarfiles="$(mktemp)"
 gitfiles="$(mktemp)"

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 554657e8895b3ec0525bf65dede0863f433606a9..65ba28c0eb503c6a5d49b958c2d9c46d5b275ba7 100644 (file)
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -42,7 +42,6 @@ CLEANFILES = $(MK_CA_DOCS) $(man_MANS) $(TEST_DOCS)
 endif
 
 TESTDOCS =                                      \
- tests/CI.md                                    \
  tests/FILEFORMAT.md                            \
  tests/HTTP.md                                  \
  tests/TEST-SUITE.md