Searched refs:new_url (Results 1 – 1 of 1) sorted by relevance
70 for (old_url, new_url) in app.config.html_redirect_pages:76 if new_url not in app.env.all_docs and not any(77 old == new_url for (old, _) in app.config.html_redirect_pages84 new_url = app.builder.get_relative_uri(old_url, new_url)91 content = REDIRECT_TEMPLATE.replace("$NEWURL", new_url)
