Docs: Minor fixes to "redirect" page generator

This commit is contained in:
Ivan Kravets
2021-04-28 19:59:12 +03:00
parent 61d6cd3c18
commit 310cc086c6

2
docs

Submodule docs updated: 495f824a0f...34ddaf3b1b