diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0be2bc3..7719c6c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -8,6 +8,7 @@ on: push: branches: - main + - main-temp-copy2 # A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: diff --git a/docs/index.md b/docs/index.md new file mode 100644 index 0000000..291ca38 --- /dev/null +++ b/docs/index.md @@ -0,0 +1 @@ +# Home diff --git a/mkdocs.yaml b/mkdocs.yaml new file mode 100644 index 0000000..6877cd2 --- /dev/null +++ b/mkdocs.yaml @@ -0,0 +1,5 @@ +site_name: "EMPTY Ontology" +theme: + name: material +nav: + - Home: index.md