Method run

doc/sphinxext/redirect_from.py:92–107

(self)

    required_arguments = 1

    def run(self):
        redirected_doc, = self.arguments
        domain = self.env.get_domain('redirect_from')
        current_doc = self.env.path2doc(self.state.document.current_source)
        redirected_reldoc, _ = self.env.relfn2path(redirected_doc, current_doc)
        if (
            redirected_reldoc in domain.redirects
            and domain.redirects[redirected_reldoc] != current_doc
        ):
            raise ValueError(
                f"{redirected_reldoc} is already noted as redirecting to "
                f"{domain.redirects[redirected_reldoc]}\n"
                f"Cannot also redirect it to {current_doc}"
            )
        domain.redirects[redirected_reldoc] = current_doc
        return []


def _generate_redirects(app, exception):