Rename folder to use GitHub pages

ultimate-pa · Jul 14, 2023 · 14def86 · 14def86
1 parent a47d4d5
commit 14def86
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -12,9 +12,6 @@ This repository contains the following materials:
 
 * The [YAML schema](witness.schema.json) of the witness proposal
 
-* The [documentation](schema-doc) generated from the schema. The rendered HTML can be seen [here](https://htmlpreview.github.io/?https://github.com/ultimate-pa/VEWIT2023-ConcurrencyGhosts/blob/main/schema-doc/index.html).
-
-* The [tools](tools) to check the examples and generate the documentation on your own. Further documentation can be found [here](tools/README.md).
-
-
+* The [documentation](docs) generated from the schema. The rendered HTML can be seen [here](https://ultimate-pa.github.io/VEWIT2023-ConcurrencyGhosts).
 
+* The [tools](tools) to check the examples and generate the documentation on your own. Further documentation can be found [here](tools/README.md).
diff --git a/schema-doc/index.html → docs/index.html b/schema-doc/index.html → docs/index.html
diff --git a/schema-doc/schema_doc.css → docs/schema_doc.css b/schema-doc/schema_doc.css → docs/schema_doc.css
diff --git a/schema-doc/schema_doc.min.js → docs/schema_doc.min.js b/schema-doc/schema_doc.min.js → docs/schema_doc.min.js