doc: put sidebarintro back

The links are specific to the main doc, so this really does belong here. Also
move the translation links here.

doc/_templates/sidebarintro.html

@@ -0,0 +1,17 @@
+<p class="logo">
+<img alt="Julia" src="//d1qchgnwtps1zh.cloudfront.net/julia_logo.png">
+</p>
+
+<h3>Other formats</h3>
+<ul>
+ <li><a href="//media.readthedocs.org/pdf/julia/latest/julia.pdf">as PDF</a></li>
+ <li><a href="//media.readthedocs.org/pdf/julia/latest/julia.epub">as ePub</a></li>
+ <li><a href="//media.readthedocs.org/pdf/julia/latest/julia.zip">as zipped HTML</a></li>
+</ul>
+
+<h3>Translations</h3>
+<ul>
+ <li><a href="//julia-zh-cn.readthedocs.org/">简体中文</a></li>
+ <li><a href="//julia-pt-br.readthedocs.org/">Português brasileiro</a></li>
+ <li><a href="//julia-es-la.readthedocs.org/">Español latino</a></li>
+</ul>

doc/conf.py

@@ -28,7 +28,7 @@
 extensions = ['sphinx.ext.mathjax', 'juliadoc.julia', 'juliadoc.jlhelp']
 
 # Add any paths that contain templates here, relative to this directory.
-#templates_path = []
+templates_path = ['_templates']
 
 # The suffix of source filenames.
 source_suffix = '.rst'
@@ -136,6 +136,7 @@
 
 # Custom sidebar templates, maps document names to template names.
 html_sidebars = juliadoc.default_sidebars()
+html_sidebars['index'].insert(0, 'sidebarintro.html')
 
 # Additional templates that should be rendered to pages, maps page names to
 # template names.

doc/index.rst

@@ -9,10 +9,3 @@
  manual/index
  stdlib/index
  packages/packagelist
-
-Translations
-============
-
-* `简体中文 <http:https://julia-zh-cn.readthedocs.org/>`_
-* `Português brasileiro <http:https://julia-pt-br.readthedocs.org/>`_
-* `Español latino <http:https://julia-es-la.readthedocs.org/>`_