Skip to content

Conversation

@linawolf
Copy link
Contributor

No description provided.

@linawolf linawolf marked this pull request as draft February 24, 2024 08:45
@linawolf linawolf requested a review from jaapio February 24, 2024 09:21
@linawolf linawolf marked this pull request as ready for review February 24, 2024 09:21
@linawolf linawolf self-assigned this Feb 24, 2024
@jaapio
Copy link
Member

jaapio commented Feb 24, 2024

Does this also enable known directives and roles in a certain domain? I guess when I read this code it doesn't, so it ignores only the unknown?

@linawolf
Copy link
Contributor Author

For now it only disables unknown directives with domain. We do have no central domain handling in place right now. But introducing such would be beyond the scope of this PR. I think we need to give it more thought.

This PR enables us to check for warnings in the docs again and therefore prevent other kind of warnings

@linawolf linawolf changed the title [TASK] Ignore domains in directives and textroles [TASK] Ignore domains with unknows directives and textroles Feb 26, 2024
@jaapio jaapio force-pushed the task/ignore-domain branch from ef2bdc3 to c784542 Compare March 1, 2024 10:42
@jaapio jaapio merged commit f235c57 into main Mar 1, 2024
@jaapio jaapio deleted the task/ignore-domain branch March 1, 2024 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants