Bjørn Erik Pedersen ae1de7abb1 docs: Make the tools content page a section page ...

Because it is the right solution and it the avoids naming conflict with section vs page.

Updates #2297

2016-11-22 09:57:03 +01:00

..

baseof.html

…

list.html

…

single.html

…