From 1538e4b53763d9956383b45fadd96687aba7bcd8 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Mon, 30 Oct 2023 15:54:06 +0200
Subject: [PATCH] fix roque reference

---
 rustsat/Cargo.toml | 2 +-
 rustsat/README.md  | 1 +
 rustsat/src/lib.rs | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)
 create mode 120000 rustsat/README.md

diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml
index a45e5c0a..2f09c7ef 100644
--- a/rustsat/Cargo.toml
+++ b/rustsat/Cargo.toml
@@ -7,7 +7,7 @@ license = "MIT"
 description = "This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance."
 keywords = ["sat", "satisfiability", "encodings"]
 repository = "https://github.com/chrjabs/rustsat"
-readme = "../README.md"
+readme = "README.md"
 
 build = "build.rs"
 
diff --git a/rustsat/README.md b/rustsat/README.md
new file mode 120000
index 00000000..32d46ee8
--- /dev/null
+++ b/rustsat/README.md
@@ -0,0 +1 @@
+../README.md
\ No newline at end of file
diff --git a/rustsat/src/lib.rs b/rustsat/src/lib.rs
index 125d9ad7..9e5f8128 100644
--- a/rustsat/src/lib.rs
+++ b/rustsat/src/lib.rs
@@ -1,4 +1,4 @@
-#![doc = include_str!("../../README.md")]
+#![doc = include_str!("../README.md")]
 #![cfg_attr(feature = "bench", feature(test))]
 
 pub mod encodings;