commit 9c533a96c7b41786eb5ebd6834799d3a38012e29
parent dad69161f020204ab28a1105f7983e65e312367b
Author: James Eversole <james@eversole.co>
Date: Sun, 11 Oct 2026 20:30:04 -0500
Doc link fixes
Diffstat:
1 file changed, 10 insertions(+), 10 deletions(-)
diff --git a/README.md b/README.md
@@ -33,7 +33,7 @@ cd tricu-main
nix build .#
```
-Then follow [Build and run](docs/build-and-run.md) to run the example and package
+Then follow [Build and run](docs/build-and-run.md.html) to run the example and package
it as an Arboricx bundle. The stable compiler is included at
`bootstrap/build-stable.arboricx` and selected automatically. `--toolchain`
overrides it explicitly.
@@ -42,18 +42,18 @@ The language, formats, and tools are experimental.
## Documentation
-- [Build and run](docs/build-and-run.md): your first program and portable bundle.
-- [Language features](docs/language-features.md): functions, patterns, recursion,
+- [Build and run](docs/build-and-run.md.html): your first program and portable bundle.
+- [Language features](docs/language-features.md.html): functions, patterns, recursion,
local bindings, contracts, and library conventions.
-- [Language contract](docs/language.md): syntax, scope, layout, and evaluation.
-- [Modules](docs/modules.md): imports, exports, and explicit
+- [Language contract](docs/language.md.html): syntax, scope, layout, and evaluation.
+- [Modules](docs/modules.md.html): imports, exports, and explicit
dependency resolution.
-- [Tools](docs/tri-tools.md): compilation, formatting, and execution options.
-- [Contracts](docs/contracts.md): runtime checks and failure handling.
-- [Storage](docs/storage.md) and [bundle format](docs/arboricx-bundle-format.md):
+- [Tools](docs/tri-tools.md.html): compilation, formatting, and execution options.
+- [Contracts](docs/contracts.md.html): runtime checks and failure handling.
+- [Storage](docs/storage.md.html) and [bundle format](docs/arboricx-bundle-format.md.html):
content identities, caching, and portable executable encoding.
-- [Browser playground](ext/demo-site/README.md): use, build, and deployment.
-- [Testing](docs/validation.md) and [compiler rebuilding](docs/compiler-rebuilding.md):
+- [Browser playground](ext/demo-site/README.md.html): use, build, and deployment.
+- [Testing](docs/validation.md.html) and [compiler rebuilding](docs/compiler-rebuilding.md.html):
contributor checks, publication, and recovery.
Other hosts under `ext/` are experimental; use the Haskell host for native development