Closed c-bebop closed 9 months ago
The copyright notice in the footer is generated by sphinx from the copyright
key in docs/conf.py
.
The rtd is on an older commit (db4bd665), build 4 days ago - details here https://readthedocs.org/projects/simexpal/builds/23309901/
As you can see the copyright key in that commit is exactly the text we see in rtd: https://github.com/hu-macsy/simexpal/blob/db4bd6655c26c786a8fb0da287ee1a2427fb7380/docs/conf.py#L5
I stumbled upon some inconsistencies with our copyright statements. This PR shall address these.
TODO: One issue I have not yet solved is where the copyright notice in the footer of the readthedocs index page comes from. Does anyone have a pointer?