From 623dbc41bc715208945a8c7198f30a77ef54d9fc Mon Sep 17 00:00:00 2001
From: georglauterbach <44545919+georglauterbach@users.noreply.github.com>
Date: Fri, 10 Nov 2023 12:14:32 +0100
Subject: [PATCH] praise be linters

---
 documentation/content/development.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/documentation/content/development.md b/documentation/content/development.md
index beebc98..cb7cbf3 100644
--- a/documentation/content/development.md
+++ b/documentation/content/development.md
@@ -9,7 +9,7 @@ tags:
 
 !!! info "Preliminary Information"
 
-    We expect you to have _some_ experience with _Rust_; you need not be an expert, but _unCORE_ requires you to understand the basics of the programming language. If you are a complete beginner, we highly recommend you to read the [official Rust book][www::docs::rust-book].
+    We expect you to have _some_ experience with _Rust_; you need not be an expert, but _unCORE_ requires you to understand the basics of the programming language. If you are a complete beginner, we highly recommend you to read the [official Rust book](https://doc.rust-lang.org/book/).
 
 ## Getting Started
 
@@ -46,7 +46,6 @@ Please stick to the style and naming conventions you encounter in this project.
 
 [//]: # (Links)
 
-[www::docs::rust-book]: https://doc.rust-lang.org/book/
 [www::docs::cargo-workspace]: https://doc.rust-lang.org/book/ch14-03-cargo-workspaces.html
 [www::tutorial::install-rust]: https://www.rust-lang.org/tools/install
 [www::github::rustfmt]: https://github.com/rust-lang/rustfmt