[PATCH olang 2/5] docs: include the manual link over the manual

[Carlos Maniero <carlos@maniero.me>]

There are two main reasons for this change:

  1. consistency: no other page has this behavior, the specification and
     the home still enabled even when they are the current page.
  2. texinfo navigation is not so intuitive and I'm not confident the
     people will understand that if they click on the "[ Contents ]"
     link they will be redirected to the manual home page, so I believe
     that is convenient to have the manual link enabled.

Signed-off-by: Carlos Maniero <carlos@maniero.me>
---
 docs/manual/_header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/manual/_header.html b/docs/manual/_header.html
index 41eae20..9e25295 100644
--- a/docs/manual/_header.html
+++ b/docs/manual/_header.html
@@ -4,7 +4,7 @@
   </h1>
   <nav>
     [ <a href="/">Home</a> ]
-    [ <strong>Manual</strong> ]
+    [ <a href="/manual/">Manual</a> ]
     [ <a href="/pages/language-specification.html">Specification</a> ]
     [ <a href="https://sr.ht/~johnnyrichard/olang/sources" target="_blank">Sources &UpperRightArrow;</a> ]
     [ <a href="https://sr.ht/~johnnyrichard/olang/lists" target="_blank">Mailing list &UpperRightArrow;</a> ]
-- 
2.34.1