Revert "chore(docs) migrate to docusaurus"

This reverts commit 3917e90.
succinctlabs · Dec 4, 2024 · f1628aa · f1628aa
1 parent 3917e90
commit f1628aa
Show file tree

Hide file tree

Showing 66 changed files with 0 additions and 21,439 deletions.
diff --git a/book2/.gitignore b/book2/.gitignore
diff --git a/book2/README.md b/book2/README.md
diff --git a/book2/create-markdown-templates.sh b/book2/create-markdown-templates.sh
diff --git a/book2/docs/developers/building-circuit-artifacts.md b/book2/docs/developers/building-circuit-artifacts.md
diff --git a/book2/docs/developers/common-issues.md b/book2/docs/developers/common-issues.md
diff --git a/book2/docs/developers/rv32im-specification.md b/book2/docs/developers/rv32im-specification.md
diff --git a/book2/docs/developers/usage-in-ci.md b/book2/docs/developers/usage-in-ci.md
diff --git a/book2/docs/generating-proofs/advanced.mdx b/book2/docs/generating-proofs/advanced.mdx
diff --git a/book2/docs/generating-proofs/basics.mdx b/book2/docs/generating-proofs/basics.mdx