Merge pull request #2021 from w3c/ege-indexhtml-gen

Generating index.html
w3c · May 22, 2024 · 2cf0b1c · 2cf0b1c
2 parents d71b52a + 483bc5d
commit 2cf0b1c
Show file tree

Hide file tree

Showing 5 changed files with 3,444 additions and 1,720 deletions.
diff --git a/.github/workflows/prettify.yml b/.github/workflows/prettify.yml
@@ -8,7 +8,6 @@ on:
       - "errata.html"
       - "errata11.html"
       - "ontology/*.html"
-      - "index.html"
       - "validation/tm-json-schema-validation.json"
       - "context/td-context-1.1.jsonld"
       - "visualization/*.png"

diff --git a/.prettierignore b/.prettierignore
@@ -11,7 +11,6 @@ errata11.html
 
 # Automatically generated files
 ontology/*.html
-index.html
 validation/tm-json-schema-validation.json
 context/td-context-1.1.jsonld
 visualization/*.png