[libc-commits] [libc] [libc][docs] add redirect for math/index.html (PR #120274)

[via libc-commits]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-libc

Author: Nick Desaulniers (nickdesaulniers)

<details>
<summary>Changes</summary>

commit a9aff440d9dd ("[libc][docs] reorganize documentation (#<!-- -->118836)")

moved https://libc.llvm.org/math/index.html to
https://libc.llvm.org/headers/math/index.html which makes links from various
slide decks stale.

There's an extension for sphinx that can generate redirects.  Add a dependency
on that, then use it to create a redirect so that those older links still work.

I was able to install this sphinx extension via:

    $ sudo apt install python3-sphinx-reredirects

We may need to install this on whatever server generates the llvm
documentation.


---
Full diff: https://github.com/llvm/llvm-project/pull/120274.diff


1 Files Affected:

- (modified) libc/docs/conf.py (+9-1) 


``````````diff
diff --git a/libc/docs/conf.py b/libc/docs/conf.py
index 502a479b3eb2c5..ca4b5e25f5dffc 100644
--- a/libc/docs/conf.py
+++ b/libc/docs/conf.py
@@ -25,7 +25,11 @@
 
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ["sphinx.ext.intersphinx", "sphinx.ext.todo"]
+extensions = [
+    "sphinx.ext.intersphinx",
+    "sphinx.ext.todo",
+    "sphinx_reredirects"
+]
 
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ["_templates"]
@@ -261,3 +265,7 @@
 
 # Enable this if you want TODOs to show up in the generated documentation.
 todo_include_todos = True
+
+redirects = {
+  "math/index": "../headers/math/index.html"
+}

``````````

</details>


https://github.com/llvm/llvm-project/pull/120274