From c5a554db83f6a69ef62cf2707c029f74a7bb0511 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Thu, 2 Aug 2018 13:12:07 -0700 Subject: [PATCH] Move the comment about Sphinx 1.4 out of the top-level README. --- cranelift/README.md | 3 --- cranelift/docs/conf.py | 4 ++-- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/cranelift/README.md b/cranelift/README.md index b4c42e849b..b84e89bad1 100644 --- a/cranelift/README.md +++ b/cranelift/README.md @@ -132,6 +132,3 @@ generator](https://www.sphinx-doc.org/): $ cd cranelift/docs $ make html $ open _build/html/index.html - -We don't support Sphinx versions before 1.4 since the format of index -tuples has changed. diff --git a/cranelift/docs/conf.py b/cranelift/docs/conf.py index 2ab7d8a8c5..b2987be684 100644 --- a/cranelift/docs/conf.py +++ b/cranelift/docs/conf.py @@ -27,8 +27,8 @@ sys.path.insert(0, os.path.abspath('../lib/codegen/meta-python')) # -- General configuration ------------------------------------------------ -# If your documentation needs a minimal Sphinx version, state it here. -# +# We don't support Sphinx versions before 1.4 since the format of index +# tuples has changed. needs_sphinx = '1.4' # Add any Sphinx extension module names here, as strings. They can be