From bd26cf3ce7ef1ec3460e2977885945caa1588aeb Mon Sep 17 00:00:00 2001
From: felipegchi <chiyokuoni@gmail.com>
Date: Tue, 29 Nov 2022 13:57:46 -0300
Subject: [PATCH] fix: change guide URLs

---
 crates/kind-driver/src/errors.rs | 2 +-
 crates/kind-query/src/errors.rs  | 2 +-
 guide/doc_strings.md             | 1 +
 guide/naming.md                  | 1 +
 guide/sugars.md                  | 1 +
 5 files changed, 5 insertions(+), 2 deletions(-)
 create mode 100644 guide/doc_strings.md
 create mode 100644 guide/naming.md
 create mode 100644 guide/sugars.md

diff --git a/crates/kind-driver/src/errors.rs b/crates/kind-driver/src/errors.rs
index f6f39242..7320681c 100644
--- a/crates/kind-driver/src/errors.rs
+++ b/crates/kind-driver/src/errors.rs
@@ -61,7 +61,7 @@ impl Diagnostic for DriverError {
                     .iter()
                     .map(|path| Subtitle::Phrase(Color::Fst, vec![Word::White(path.display().to_string())]))
                     .collect(),
-                hints: vec!["Take a look at the rules for name searching at https://kind.kindelia.org/hints/name-search".to_string()],
+                hints: vec!["Take a look at the rules for name searching at https://github.com/Kindelia/Kind2/blob/master/guide/naming.md".to_string()],
                 positions: vec![Marker {
                     position: ident.range,
                     color: Color::Fst,
diff --git a/crates/kind-query/src/errors.rs b/crates/kind-query/src/errors.rs
index baf6edce..d4d26946 100644
--- a/crates/kind-query/src/errors.rs
+++ b/crates/kind-query/src/errors.rs
@@ -36,7 +36,7 @@ impl Diagnostic for DriverError {
                         suggestions.iter().map(|x| format!("'{}'", x)).collect::<Vec<String>>().join(", ")
                     )
                 } else {
-                    "Take a look at the rules for name searching at https://kind.kindelia.org/hints/name-search".to_string()
+                    "Take a look at the rules for name searching at https://github.com/Kindelia/Kind2/blob/master/guide/naming.md".to_string()
                 }],
                 positions: idents
                     .iter()
diff --git a/guide/doc_strings.md b/guide/doc_strings.md
new file mode 100644
index 00000000..f87f5c14
--- /dev/null
+++ b/guide/doc_strings.md
@@ -0,0 +1 @@
+# TODO
\ No newline at end of file
diff --git a/guide/naming.md b/guide/naming.md
new file mode 100644
index 00000000..f87f5c14
--- /dev/null
+++ b/guide/naming.md
@@ -0,0 +1 @@
+# TODO
\ No newline at end of file
diff --git a/guide/sugars.md b/guide/sugars.md
new file mode 100644
index 00000000..f87f5c14
--- /dev/null
+++ b/guide/sugars.md
@@ -0,0 +1 @@
+# TODO
\ No newline at end of file