[Docs] Use ReadTheDocs theme if available.
commit5558fde7fd8936783c481fbeedd6fc50a3b615ce
authorSiddharth Bhat <siddu.druid@gmail.com>
Mon, 22 May 2017 13:36:15 +0000 (22 13:36 +0000)
committerSiddharth Bhat <siddu.druid@gmail.com>
Mon, 22 May 2017 13:36:15 +0000 (22 13:36 +0000)
treef8642a5e6c718ac6601167ec3beb38c89b35f817
parentb7f86b7f2080c05e30e0d67c4fb898f5bf2264e0
[Docs] Use ReadTheDocs theme if available.

Use ReadTheDocs theme for Sphinx if available since it is well
maintained and used by readthedocs.org.

Differential Revision: https://reviews.llvm.org/D33387

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@303550 91177308-0d34-0410-b5e6-96231b3b80d8
docs/conf.py