From 5eb8516d1b8b3dad796c70e9572700e7c747f5f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edu=20G=C3=B3mez=20Escandell?=
 <edu.gomez.escandell@canonical.com>
Date: Wed, 11 Oct 2023 11:41:03 +0200
Subject: [PATCH] Fix docs folder

When attempting to edit a file on ReadTheDocs, it simply appends
`github_folder` to the file name, so we need the trailing path
separator.
---
 docs/custom_conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/custom_conf.py b/docs/custom_conf.py
index b3628adec..e0a77ac40 100644
--- a/docs/custom_conf.py
+++ b/docs/custom_conf.py
@@ -72,7 +72,7 @@
 
     # Change to the folder that contains the documentation
     # (usually "/" or "/docs/")
-    'github_folder': '/docs',
+    'github_folder': '/docs/',
 
     # Change to an empty value if your GitHub repo doesn't have issues enabled.
     # This will disable the feedback button and the issue link in the footer.