Add option to redirect

[wolbernd]

Fixes #1149

[netlify]

✅ Deploy Preview for 6-dev-docs-plone-org ready!

Name	Link
🔨 Latest commit	4b1a68e
🔍 Latest deploy log	https://app.netlify.com/sites/6-dev-docs-plone-org/deploys/62725a091d76d80009a1280c
😎 Deploy Preview	https://deploy-preview-1244--6-dev-docs-plone-org.netlify.app/contributing/writing-docs-guide.html
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site settings.

[wolbernd]

@stevepiercy At the moment there is no check if the target of a redirect actually exists, so typos can lead to dead links. It should be possible to create a small script to check this but I'm not sure if this is worth the effort...

[stevepiercy]

How would you implement that small script? Ideally this extension already checks for the existence of the target file before writing the source page. If it does not, then I would consider this a feature request for the extension.

[wolbernd]

@stevepiercy The extension does no consistency check for the target documents. An upstream implementation would make sense because every check-script we would write for this project would probably also work for upstream.

I'll open an issue in their gitlab.

[wolbernd]

Feature request for sphinx-reredirects: documatt/sphinx-reredirects#3 and open PR documatt/sphinx-reredirects#6.

I'll work on implementing this after the sprint since I think it's a bit out of scope