From 372a8447a891e1c7cc5556deefa29b2616f88ecc Mon Sep 17 00:00:00 2001 From: ISSOtm Date: Fri, 29 Dec 2023 13:57:28 +0100 Subject: [PATCH] Make single-page version more visible Many people missed it, since they are often linked to individual pages, and thus miss the small link at the bottom of the landing page. --- src/About.md | 2 -- src/SUMMARY.md | 3 +-- src/single.md | 1 + 3 files changed, 2 insertions(+), 4 deletions(-) create mode 100644 src/single.md 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 s on your keyboard or clicking th The 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. -

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) -
- --- # 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.