Skip to content

Commit 0d69429

Browse files
Adding an exclude file now won't work
1 parent 7c66eb2 commit 0d69429

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

.github/workflows/reusable-docs.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,8 @@ jobs:
115115
run: >-
116116
python Doc/tools/check-html-ids.py check
117117
/tmp/html-ids-base.json.gz /tmp/html-ids-head.json.gz
118-
--exclude-file Doc/tools/removed-html-ids.txt
118+
# XXX: When an exclude file is added, update this to use it:
119+
# --exclude-file Doc/tools/removed-ids.txt
119120

120121
# Run "doctest" on HEAD as new syntax doesn't exist in the latest stable release
121122
doctest:

Doc/tools/removed-html-ids.txt

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)