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}}