From ac7b7f82a98d51e45cb69d423a978e907de8c4b0 Mon Sep 17 00:00:00 2001
From: Chris Sangwin <C.J.Sangwin@ed.ac.uk>
Date: Mon, 19 Feb 2024 13:06:02 +0000
Subject: [PATCH] Fix bug in docs when changing languages.

---
 doc/doc.php | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/doc/doc.php b/doc/doc.php
index be27af446..927253321 100644
--- a/doc/doc.php
+++ b/doc/doc.php
@@ -103,13 +103,12 @@ if ('Site_map' == $lastseg) {
         $meta = stack_docs_page_metadata('Site_map.md');
 } else {
     if ('' == $lastseg) {
-        $file = $docsroot . $uri . 'index.md';
-        $fileen = $docsrooten . $uri . 'index.md';
+        $file = $docsroot . $uri . '/index.md';
+        $fileen = $docsrooten . $uri . '/index.md';
     } else {
         $file = $docsroot . $uri;
         $fileen = $docsrooten . $uri;
     }
-
     if (file_exists($file)) {
         $body = stack_docs_page($links, $file);
         $meta = stack_docs_page_metadata($uri);
-- 
GitLab