diff --git a/src/About.md b/src/About.md
index 7d836bfc..8357a77d 100644
--- a/src/About.md
+++ b/src/About.md
@@ -31,6 +31,4 @@ You can search anywhere by pressing <kbd>s</kbd> on your keyboard or clicking th
 
 The <i class="fa fa-edit"></i> icon allows you to suggest an edit on the current page by directly opening the source file in the git repository.
 
-[One-page](single.html) and [printable](print.html) versions of this document are also available.
-
 <br><br>
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 7835aa11..e2eb5caa 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -3,8 +3,6 @@
 [Acknowledgements](./Authors.md)
 [History](./History.md)
 
-<br>
-
 ---
 
 # Overview
@@ -94,3 +92,4 @@
 ---
 
 [References](./References.md)
+[Single-page version](./single.md)
diff --git a/src/single.md b/src/single.md
new file mode 100644
index 00000000..de5526a3
--- /dev/null
+++ b/src/single.md
@@ -0,0 +1 @@
+Please do not edit this file, it gets overwritten automatically when generating the documentation.