Rename "brief" to "summary"

2023-11-25 23:42:05 +01:00
parent 9fc815abe1
commit 53aa970427
16 changed files with 56 additions and 54 deletions
@@ -170,8 +170,8 @@ class ToMarkdown(Tokenizer):
                label = self._localLookup("Synopsis")
                lines.append(f"**{label}:** {tText}\n\n")

-            elif tType == self.T_BRIEF and self._doSynopsis:
-                label = self._localLookup("Brief")
+            elif tType == self.T_SUMMARY and self._doSynopsis:
+                label = self._localLookup("Summary")
                lines.append(f"**{label}:** {tText}\n\n")

            elif tType == self.T_COMMENT and self._doComments: