diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index cf09b24..b6cbab5 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -77,7 +77,7 @@ divergence between the implementation and the mechanised specification. ### Suggesting features -Check [`ROADMAP.adoc`](ROADMAP.adoc) and +Check [`ROADMAP.adoc`](../ROADMAP.adoc) and [`proofs/STATUS.md`](proofs/STATUS.md) first — a surprising amount of “missing” functionality is deliberately fenced pending a proof. Then use the [feature request @@ -186,4 +186,4 @@ Participation is governed by [`CODE_OF_CONDUCT.md`](CODE_OF_CONDUCT.md). By contributing you agree that your contributions are licensed under **MPL-2.0** (code) or **CC-BY-SA-4.0** (documentation), matching the -file you are editing. See [`LICENSE`](LICENSE). +file you are editing. See [`LICENSE`](../LICENSE). diff --git a/examples/newsroom/README.adoc b/examples/newsroom/README.adoc index ba3a428..8b23063 100644 --- a/examples/newsroom/README.adoc +++ b/examples/newsroom/README.adoc @@ -124,7 +124,7 @@ cd solo-compiler && cargo build --release === Contributing Examples -Want to add an example? See link:../CONTRIBUTING.md[CONTRIBUTING.md] for +Want to add an example? See link:../../.github/CONTRIBUTING.md[CONTRIBUTING.md] for guidelines. Examples should: - Include SPDX license header - Be self-contained and diff --git a/playground/SECURITY.adoc b/playground/SECURITY.adoc index 775e783..ed86b15 100644 --- a/playground/SECURITY.adoc +++ b/playground/SECURITY.adoc @@ -410,7 +410,7 @@ When using Nextgen Languages, we recommend: * https://github.com/hyperpolymath/nextgen-languages/security/advisories[Security Advisories] * link:CHANGELOG.md[Changelog] -* link:CONTRIBUTING.md[Contributing Guidelines] +* link:../.github/CONTRIBUTING.md[Contributing Guidelines] * https://cve.mitre.org/[CVE Database] * https://www.first.org/cvss/calculator/3.1[CVSS Calculator]