Ignore c-api/file.html: deprecated-api

hugovk · hugovk · commit 768cab3d5a76 · 2026-04-16T19:27:55.000+03:00
diff --git a/Doc/tools/removed-ids.txt b/Doc/tools/removed-ids.txt
@@ -1 +1,4 @@
 # HTML IDs excluded from the check-html-ids.py check.
+
+# Remove from here in 3.16
+c-api/file.html: deprecated-api
