Ruth Fuchss 828d707465 doc: keep IDs when redirecting URLs ... When redirecting from old-topic.html#some-id to new-topic.html, the ID is ignored. Not sure if it is possible to keep the ID in the meta redirect, but at least in the JavaScript version we should keep it and redirect from old-topic.html#some-id to new-topic.html#some-id. Signed-off-by: Ruth Fuchss <ruth.fuchss@nordicsemi.no>		2020-03-11 08:46:26 -04:00
..
__init__.py	doc: add __init__.py for python2 compatibility	2017-12-12 17:52:57 -05:00
application.py	doc: application.py: Make functions that don't use 'self' static	2019-09-08 22:20:55 -04:00
html_redirects.py	doc: keep IDs when redirecting URLs	2020-03-11 08:46:26 -04:00
link-roles.py	doc: link-roles: convert bytes to string	2019-09-15 18:44:45 -04:00