From 91e80670c77120f840204a0290536c76721c791b Mon Sep 17 00:00:00 2001 From: leo60228 Date: Mon, 3 Jun 2024 17:06:14 -0400 Subject: [PATCH] Use mdBook includes instead of symlinks (#4715) --- docs/CHANGELOG.md | 2 +- docs/INSTALL.md | 2 +- docs/README.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) mode change 120000 => 100644 docs/CHANGELOG.md mode change 120000 => 100644 docs/INSTALL.md mode change 120000 => 100644 docs/README.md diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md deleted file mode 120000 index 04c99a55ca..0000000000 --- a/docs/CHANGELOG.md +++ /dev/null @@ -1 +0,0 @@ -../CHANGELOG.md \ No newline at end of file diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md new file mode 100644 index 0000000000..bdde652d31 --- /dev/null +++ b/docs/CHANGELOG.md @@ -0,0 +1 @@ +{{#include ../CHANGELOG.md}} diff --git a/docs/INSTALL.md b/docs/INSTALL.md deleted file mode 120000 index 71db8b4934..0000000000 --- a/docs/INSTALL.md +++ /dev/null @@ -1 +0,0 @@ -../INSTALL.md \ No newline at end of file diff --git a/docs/INSTALL.md b/docs/INSTALL.md new file mode 100644 index 0000000000..610fee2cc1 --- /dev/null +++ b/docs/INSTALL.md @@ -0,0 +1 @@ +{{#include ../INSTALL.md}} diff --git a/docs/README.md b/docs/README.md deleted file mode 120000 index 32d46ee883..0000000000 --- a/docs/README.md +++ /dev/null @@ -1 +0,0 @@ -../README.md \ No newline at end of file diff --git a/docs/README.md b/docs/README.md new file mode 100644 index 0000000000..dae3167208 --- /dev/null +++ b/docs/README.md @@ -0,0 +1 @@ +{{#include ../README.md}}