From 5bf3ac573816d718a1c318e5eea7da0142ae92d1 Mon Sep 17 00:00:00 2001 From: Sven Dowideit Date: Mon, 13 Oct 2014 15:53:35 +1000 Subject: [PATCH] Remove version selector and edit on Github on search page, as it only searches the latest docs Docker-DCO-1.1-Signed-off-by: Sven Dowideit (github: SvenDowideit) --- docs/sources/jsearch.md | 1 + docs/theme/mkdocs/base.html | 15 ++++++++++++--- 2 files changed, 13 insertions(+), 3 deletions(-) diff --git a/docs/sources/jsearch.md b/docs/sources/jsearch.md index d9a4b996b4..4a00e74dc7 100644 --- a/docs/sources/jsearch.md +++ b/docs/sources/jsearch.md @@ -1,6 +1,7 @@ page_title: Search the Docker documentation page_keywords: Docker, search documentation no_toc: true +no_version_dropdown: true # Search diff --git a/docs/theme/mkdocs/base.html b/docs/theme/mkdocs/base.html index 3aa7223dd2..4f669677b0 100644 --- a/docs/theme/mkdocs/base.html +++ b/docs/theme/mkdocs/base.html @@ -62,11 +62,12 @@
{% endif %} {% include "beta_warning.html" %} +{% if not meta.no_version_dropdown %} +{% endif %} {{ content }}
@@ -119,10 +121,17 @@ piCId = '1482';