We now only publish the documentation via the Read the docs project.
There are still some scripts and tools from the time when they were hosted on a dornkirk
While working on this, also move the dev docs into the root and generate redirect pages.
As part of this we can remove custom them and only use the read the docs theme
Remove trac-links and other plugins
We now only publish the documentation via the Read the docs project.
There are still some scripts and tools from the time when they were hosted on a dornkirk
While working on this, also move the dev docs into the root and generate redirect pages.
As part of this we can remove custom them and only use the read the docs theme
Remove trac-links and other plugins