Update contribution guide

Jelly-RDF · Aug 23, 2024 · 59ae06f · 59ae06f
1 parent 11a1d5e
commit 59ae06f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -0,0 +1 @@
+**Please see the [contribution guide on the Jelly website](https://w3id.org/jelly/dev/contributing/).** Thanks!
diff --git a/docs/contributing.md b/docs/contributing.md
@@ -77,9 +77,10 @@ Use the exact same process as for the website documentation. The Jelly-JVM docum
 
 ### Jelly-JVM
 
-- **[Jelly-JVM documentation]({{ jvm_link()}})** includes the developer guide, explaining the technical aspects of contributing to it.
-- **[GitHub repository](https://github.com/Jelly-RDF/jelly-jvm)**
-- **[Issue tracker](https://github.com/Jelly-RDF/jelly-jvm/issues)**
+- **[Jelly-JVM contributing page]({{ jvm_link('contributing') }})**
+- [Jelly-JVM documentation]({{ jvm_link()}}) includes the developer guide, explaining the technical aspects of contributing to it.
+- [GitHub repository](https://github.com/Jelly-RDF/jelly-jvm)
+- [Issue tracker](https://github.com/Jelly-RDF/jelly-jvm/issues)
 
 ## See also
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		Please see the [contribution guide on the Jelly website](https://w3id.org/jelly/dev/contributing/). Thanks!