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 = " git Repository" +identifier = "repo" +url = "https://gitlab.freedesktop.org/libinput/libei" +weight = 10 + +[[menu.shortcuts]] +name = " Report a Bug" +identifier = "bugs" +url = "https://gitlab.freedesktop.org/libinput/libei/-/issues/" +weight = 10