]> granicus.if.org Git - esp-idf/commit
docs: Add option to redirect documentation pages which have moved
authorAngus Gratton <angus@espressif.com>
Mon, 3 Dec 2018 06:58:08 +0000 (17:58 +1100)
committerAngus Gratton <gus@projectgus.com>
Tue, 18 Dec 2018 03:07:43 +0000 (14:07 +1100)
commitb240a181b7215158ef4db22ee7e694f938868502
treeb3a65ee8b888db6268ac15c2115cc78d557b5d66
parent6a4955ef74afa8293cf929fccd06692118372f51
docs: Add option to redirect documentation pages which have moved
docs/conf_common.py
docs/html_redirects.py [new file with mode: 0644]