Website!

CONTRIBUTING.md

@@ -12,16 +12,16 @@ same principles in Quint, see [Contributing to Apalache][].
 
 ## Developer docs
 
- - [roadmap](./doc/roadmap.md)
- - [ADR001: Transpiler architecture](./doc/adr001-transpiler-architecture.md)
- - [ADR002: Error codes](./doc/adr002-errors.md)
+ - [roadmap](./docs/roadmap.md)
+ - [ADR001: Transpiler architecture](./docs/pages/docs/architecture-decision-records/adr001-transpiler-architecture.md)
+ - [ADR002: Error codes](./docs/pages/docs/architecture-decision-records/adr002-errors.md)
  - [ADR003: Interface to visit Internal Representation
-   components](./doc/adr003-visiting-ir-components.md)
- - [ADR004: An Effect System for Quint](./doc/adr004-effect-system.md)
- - [ADR005: A Type System for Quint](./doc/adr005-type-system.md)
- - [ADR006: Design of modules and lookup tables](./doc/adr006-modules.lit.md)
- - [ADR007: Flattening](./doc/adr007-flattening.md)
- - [ADR008: Obtaining and Launching Apalache from Quint](./doc/adr008-managing-apalache.md) 
+   components](./docs/pages/docs/architecture-decision-records/adr003-visiting-ir-components.md)
+ - [ADR004: An Effect System for Quint](./docs/pages/docs/architecture-decision-records/adr004-effect-system.md)
+ - [ADR005: A Type System for Quint](./docs/pages/docs/architecture-decision-records/adr005-type-system.md)
+ - [ADR006: Design of modules and lookup tables](./docs/pages/docs/architecture-decision-records/adr006-modules.lit.md)
+ - [ADR007: Flattening](./docs/pages/docs/architecture-decision-records/adr007-flattening.md)
+ - [ADR008: Obtaining and Launching Apalache from Quint](./docs/pages/docs/architecture-decision-records/adr008-managing-apalache.md) 
 
 ## Coordinating work
 
@@ -268,7 +268,7 @@ Between installing the plugin from different sources, you may end up with multip
 [Apalache]: https://github.com/informalsystems/apalache
 [Contributing to Apalache]: https://github.com/informalsystems/apalache/blob/main/CONTRIBUTING.md
 [eslint]: https://eslint.org/
-[quint manual]: ./doc/quint.md
+[quint manual]: ./docs/pages/docs/architecture-decision-records/quint.md
 [Installing quint]: https://github.com/informalsystems/quint/blob/main/quint/README.md#how-to-install
 [Language server protocol]: https://microsoft.github.io/language-server-protocol/
 [quint unit tests]: https://github.com/informalsystems/quint/blob/main/quint/README.md#unit-tests

docs/.gitignore

@@ -0,0 +1 @@
+.next