From d44de4e73e7d21b82734bd60a8871f6367f09a85 Mon Sep 17 00:00:00 2001
From: Peter Hutterer <peter.hutterer@who-t.net>
Date: Thu, 9 Mar 2023 14:31:21 +1000
Subject: [PATCH] doc/proto: add a link to the git repo and issues page

---
 doc/protocol/config.toml | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/doc/protocol/config.toml b/doc/protocol/config.toml
index 1955efb..798e163 100644
--- a/doc/protocol/config.toml
+++ b/doc/protocol/config.toml
@@ -1,5 +1,21 @@
-# baseURL = 'https://libinput.pages.freedesktop.org/libei/'
+# baseURL is required to have the menu.shortcuts resolve correctly, but if
+# we use the full URL (with trailing libei/) local builds no longer fin.
+# the files. But since we use relativeURLs everything else should work correctly
+# even with the wrong baseURL.
+baseURL = 'https://libinput.pages.freedesktop.org/'
 languageCode = 'en-us'
 title = 'ei protocol documentation'
 theme = 'hugo-theme-relearn'
 relativeURLs = true
+
+[[menu.shortcuts]]
+name = "<i class='fab fa-fw fa-git'></i> git Repository"
+identifier = "repo"
+url = "https://gitlab.freedesktop.org/libinput/libei"
+weight = 10
+
+[[menu.shortcuts]]
+name = "<i class='fas fa-bug'></i> Report a Bug"
+identifier = "bugs"
+url = "https://gitlab.freedesktop.org/libinput/libei/-/issues/"
+weight = 10