yaml_check.py -> scripts/yaml_check.py

leanprover-community · Dec 19, 2024 · 7c848b4 · 7c848b4
1 parent cb1bb0f
commit 7c848b4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/make_site.py b/make_site.py
@@ -156,15 +156,15 @@ class Team:
                   use_biography=team.get('use_biography', True))
              for team in yaml.safe_load(t_file)]
 
-# keep in sync with yaml_check.py in mathlib4 repo
+# keep in sync with `scripts/yaml_check.py`` in mathlib4 repo
 @dataclass
 class DocDecl:
     name: str
     decl_header_html: str
     docs_link: str
     src_link: str
 
-# keep in sync with yaml_check.py in mathlib4 repo
+# keep in sync with `scripts/yaml_check.py` in mathlib4 repo
 @dataclass
 class HundredTheorem:
     number: str
@@ -176,7 +176,7 @@ class HundredTheorem:
     links: Optional[Mapping[str, str]] = None
     note: Optional[str] = None
 
-# keep in sync with yaml_check.py in mathlib4 repo
+# keep in sync with `scripts/yaml_check.py` in mathlib4 repo
 @dataclass
 class ThousandPlusTheorem:
     # Wikidata identifier (the letter Q followed by a string as digits),