Alexander Graf 39bd7c55f6 doc: link next section at the end of each page ...

This makes it easier to go through the documentation and it
pushes readthedocs's advertising further apart from the
content.

2018-01-13 19:15:32 +01:00

..

caption.html

doc: Page intro improvements

2017-11-14 11:18:30 +01:00

layout.html

doc: ownership verification tag

2017-11-17 10:06:53 +01:00

links.html

Current version and release date in doc sidebar

2017-12-21 13:53:06 +01:00

page.html

doc: link next section at the end of each page

2018-01-13 19:15:32 +01:00