Add Next.js docs site and Vercel setup

Author: Th0rgal

.gitignore

@@ -13,3 +13,13 @@ forge-out/
 
 # Lean build artifacts
 .lake/
+
+# Docs site (Next.js)
+docs-site/node_modules/
+docs-site/.next/
+docs-site/out/
+docs-site/build/
+docs-site/.vercel/
+docs-site/public/_pagefind/
+docs-site/content/_pagefind/
+docs-site/.env*.local

README.md

@@ -23,7 +23,12 @@ theorem mySpec_reverts : mySpecR.reverts s -> ... := by ...
 ```
 
 **Docs**
-- Start page: `dumbcontracts/docs/index.html`
+- Docs site (Next.js): `dumbcontracts/docs-site`
 - Status: `dumbcontracts/STATUS.md`
 - Roadmap: `dumbcontracts/docs/roadmap.md`
 - Research log: `dumbcontracts/docs/research-log.md`
+
+**Deploy Docs (Vercel)**
+1. Create a new Vercel project from this repo.
+2. Set the Root Directory to `docs-site`.
+3. Deploy (defaults are fine for Next.js).

docs-site/.gitignore

@@ -0,0 +1,35 @@
+# dependencies
+node_modules
+.pnp
+.pnp.js
+
+# testing
+coverage
+
+# next.js
+.next/
+out/
+build
+
+# pagefind
+public/_pagefind/
+content/_pagefind/
+
+# misc
+.DS_Store
+*.pem
+
+# debug
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+
+# local env files
+.env*.local
+
+# vercel
+.vercel
+
+# typescript
+*.tsbuildinfo
+next-env.d.ts