Usage¶
The extension relies on the redirects configuration option in conf.py. redirects option maps a source to a target.
redirects = {
"<source>": "<target>"
}
By default, redirects is empty (i.e. generates no redirect files).
Source (the key in redirects map) is a docname, i.e. document path without a suffix (an extension). Most Sphinx projects use .rst as extension. For example, a docname for the file index.rst is index, for agents/intro.rst is agents/intro, etc.
Source may be non-existing document or existing document. If source does not exist, sphinx-reredirects creates new redirect .html file. For existing document, document’s .html file will be overwritten with redirect file. To select multiple existing documents, a source wildcards can be used.
Target (the value in redirects map) is an URL that will be used in the HTML redirecting file. It may be specified using the placeholder to reuse source docname (see Target placeholders).
Target value must correspond to the output file naming of chosen Sphinx builder. For example, html builder creates docname.html, while dirhtml docname/index.html.
Important
The extension works only for HTML-based builders like html and dirhtml. When building to other outputs (linkcheck, latex), it does nothing.
The redirect is relative to the current page. So, if you want to redirect guides/index.html to index.html use:
redirects = {
"guides/index": "../index.html"
}
Redirect old documents¶
The basic usage is to redirect document you delete or rename to a new file within the same project. For example, if you rename setup.rst to install.rst:
redirects = {
"setup": "install.html",
}
Newly created setup.html will contain <meta http-equiv="refresh" content="0; url=install.html">.
Or, if you output to dirhtml, target must be a folder:
redirects = {
"setup": "install/",
}
Absolute URLs
The target maybe any value. For example, if particular page is now on the different website:
redirects = {
"install/requirements": "https://anotherwebsite.com/docs/requirements.html",
}
It will create install folder (if it does not exist) and requirements.html containing <meta http-equiv="refresh" content="0; url=https://anotherwebsite.com/docs/requirements.html">.
Redirect existing documents¶
Source (the key in the redirects option) may be specified with wildcards. If wildcard is used, it means that you want to expand it against existing documents. sphinx-reredirects creates redirect .html file that will overwrite original document’s html file.
For example, if all FAQ documents in faq/ folder should be redirected to dedicated forum website, but you don’t want to delete them in your documentation:
redirects = {
"faq/*": "https://website.com/forum/faq",
}
Now, html files originally produced by documents in faq/ like supported-os.html, licencing.html, etc., are all replaced with body <meta http-equiv="refresh" content="0; url=https://website.com/forum/faq">
Wildcard syntax¶
Wildcards for selecting existing source documents know only *, ?, [seq] and [!seq] patterns.
*matches everything, while?any single character.[seq]matches any character in the seq,[!seq]any character not in seq.
(If you are curious, matching is using Python3 fnmatch().)
Important
In other words, for example ** used as “recursive” has no meaning here.
Target placeholders¶
Matched document in the source, is available in the target as $source or ${source} placeholder. Because source notation (a docname) is without suffix, you may need to append .html or / suffix after the placeholder.
For example, if all FAQ documents in faq/ folder should be redirected to dedicated forum website with the identical filenames in URL, but you don’t want to delete them in your documentation:
redirects = {
"faq/*": "https://website.com/forum/faq/$source",
}
Now, html files originally produced by documents in faq/ like supported-os.html, licencing.html, etc., have replaced bodies like <meta http-equiv="refresh" content="0; url=https://website.com/forum/faq/supported-os">, etc.
Redirect everything¶
Occasionally, you have to move complete documentation to a new home. It’s easy with wildcard and placeholder:
redirects = {
"*": "https://anotherwebsite.com/docs/$source.html"
}
Tip
To help search engines to understand the transfer, update (or set) html_baseurl option to the new website, too.
Previous: Install and setup | Next: FAQ