From 17b9b96af33e39b23a0ef0692792fd4c616ccc57 Mon Sep 17 00:00:00 2001 From: Firehawke <34792592+Firehawke@users.noreply.github.com> Date: Sat, 27 Nov 2021 06:19:14 -0700 Subject: [PATCH] docs: Implemented download links in docs theme. (#8887) Modified the RTD theme to add PDF and EPUB download links in the left pane. --- docs/themes/sphinx_rtd_theme/theme.conf | 1 + docs/themes/sphinx_rtd_theme/versions.html | 15 +++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/docs/themes/sphinx_rtd_theme/theme.conf b/docs/themes/sphinx_rtd_theme/theme.conf index 5cc687d7f98..03537e98fc8 100644 --- a/docs/themes/sphinx_rtd_theme/theme.conf +++ b/docs/themes/sphinx_rtd_theme/theme.conf @@ -18,3 +18,4 @@ prev_next_buttons_location = bottom style_external_links = False style_nav_header_background = vcs_pageview_mode = +mamedevorg = True diff --git a/docs/themes/sphinx_rtd_theme/versions.html b/docs/themes/sphinx_rtd_theme/versions.html index bab969e64f0..fb0d4bf538b 100644 --- a/docs/themes/sphinx_rtd_theme/versions.html +++ b/docs/themes/sphinx_rtd_theme/versions.html @@ -32,3 +32,18 @@ {% endif %} +{# This section only gets used when mamedevorg is set to anything in theme.conf #} +{% if theme_mamedevorg %} +
+{% endif %}