From 85a06360455fe5ff51f566534c5afcda2cc9e974 Mon Sep 17 00:00:00 2001
From: Leonard Xu <xbjtdcq@gmail.com>
Date: Fri, 6 Aug 2021 00:39:22 +0800
Subject: [PATCH] [doc] Support versioned documents with RTD(ReadTheDocs)

---
 docs/_templates/versions.html | 55 +++++++++++++++++++++++++++++++++++
 pom.xml                       |  1 +
 2 files changed, 56 insertions(+)
 create mode 100644 docs/_templates/versions.html

diff --git a/docs/_templates/versions.html b/docs/_templates/versions.html
new file mode 100644
index 000000000..90fdc4a06
--- /dev/null
+++ b/docs/_templates/versions.html
@@ -0,0 +1,55 @@
+{% if READTHEDOCS or display_lower_left %}
+{# Add rst-badge after rst-versions for small badge style. #}
+  <div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions">
+    <span class="rst-current-version" data-toggle="rst-current-version">
+      <span class="fa fa-book"> Read the Docs</span>
+      v: {{ current_version }}
+      <span class="fa fa-caret-down"></span>
+    </span>
+    <div class="rst-other-versions">
+      {% if languages|length >= 1 %}
+      <dl>
+        <dt>{{ _('Languages') }}</dt>
+        {% for slug, url in languages %}
+          {% if slug == current_language %} <strong> {% endif %}
+          <dd><a href="{{ url }}">{{ slug }}</a></dd>
+          {% if slug == current_language %} </strong> {% endif %}
+        {% endfor %}
+      </dl>
+      {% endif %}
+      {% if versions|length >= 1 %}
+      <dl>
+        <dt>{{ _('Versions') }}</dt>
+        {% for slug, url in versions %}
+          {% if slug == current_version %} <strong> {% endif %}
+          <dd><a href="{{ url }}">{{ slug }}</a></dd>
+          {% if slug == current_version %} </strong> {% endif %}
+        {% endfor %}
+      </dl>
+      {% endif %}
+      {% if downloads|length >= 1 %}
+      <dl>
+        <dt>{{ _('Downloads') }}</dt>
+        {% for type, url in downloads %}
+          <dd><a href="{{ url }}">{{ type }}</a></dd>
+        {% endfor %}
+      </dl>
+      {% endif %}
+      {% if READTHEDOCS %}
+      <dl>
+        <dt>{{ _('On Read the Docs') }}</dt>
+          <dd>
+            <a href="//{{ PRODUCTION_DOMAIN }}/projects/{{ slug }}/?fromdocs={{ slug }}">{{ _('Project Home') }}</a>
+          </dd>
+          <dd>
+            <a href="//{{ PRODUCTION_DOMAIN }}/builds/{{ slug }}/?fromdocs={{ slug }}">{{ _('Builds') }}</a>
+          </dd>
+      </dl>
+      {% endif %}
+      <hr/>
+      {% trans %}Free document hosting provided by <a href="http://www.readthedocs.org">Read the Docs</a>.{% endtrans %}
+ 
+    </div>
+  </div>
+{% endif %}
+ 
diff --git a/pom.xml b/pom.xml
index baec37c34..6d653acbe 100644
--- a/pom.xml
+++ b/pom.xml
@@ -182,6 +182,7 @@ under the License.
                         <exclude>**/*.md</exclude>
                         <exclude>docs/Makefile</exclude>
                         <exclude>docs/make.bat</exclude>
+                        <exclude>docs/_templates/version.html</exclude>
                         <!-- Tests -->
                         <exclude>**/*.txt</exclude>
                     </excludes>