Jan Tojnar 26d1877d6e doc: Add redirects for the DocBook manual ... There are still many links to the old manual on the web and having them end up on the Introduction page is a bad user experience.		2022-05-26 18:17:21 +02:00
..
manual	doc: Add redirects for the DocBook manual	2022-05-26 18:17:21 +02:00