fix: Do not render external header when the missing name is not required

SilverRainZ · SilverRainZ · commit 003472bc7f89 · 2026-01-30T01:52:54.000+08:00
diff --git a/src/sphinxnotes/any/domain.py b/src/sphinxnotes/any/domain.py
@@ -432,7 +432,7 @@ def _require_external_header(self, schema: Schema, data: RawData) -> bool:
         #
         # The special underscore is for compatible with sphinxnotes-any<3.
         # See also https://sphinx.silverrainz.me/any/tips.html#documenting-section-and-documentation
-        if not schema.name:
+        if not schema.name or not schema.name.required:
             return False
         if schema.name.ctype is None:
             return data.name in (None, '_')

Original file line number	Diff line number	Diff line change
`@@ -432,7 +432,7 @@ def _require_external_header(self, schema: Schema, data: RawData) -> bool:`
`432`	`432`	`#`
`433`	`433`	`# The special underscore is for compatible with sphinxnotes-any<3.`
`434`	`434`	`# See also https://sphinx.silverrainz.me/any/tips.html#documenting-section-and-documentation`
`435`		`- if not schema.name:`
	`435`	`+ if not schema.name or not schema.name.required:`
`436`	`436`	`return False`
`437`	`437`	`if schema.name.ctype is None:`
`438`	`438`	`return data.name in (None, '_')`