diff --git a/scripts/index.html b/scripts/index.html index 66fa84d..75fd84a 100644 --- a/scripts/index.html +++ b/scripts/index.html @@ -98,20 +98,16 @@

{{name}}

{{/diffenator}} - {{/families}}

Proof sheets

+ {{/families}} diff --git a/scripts/template.py b/scripts/template.py index 7654810..0c248a2 100644 --- a/scripts/template.py +++ b/scripts/template.py @@ -80,11 +80,18 @@ def make(self, root): "name": "Diffenator report, " + Path(result).parent.stem, "path": result[4:], }) + proof = [] + for result in glob(f"out/proof/{basename}/*/*.html"): + proof.append({ + "name": Path(result).parent.stem + ", " + Path(result).stem.replace("diffbrowsers_", ""), + "path": result[4:], + }) families.append({ "name": fname, "fonttree": fonttree, "fontbakery": fontbakery, + "proof": proof, "diffenator": diffenator })