Closed mmerklinger closed 1 year ago
In our URLs we don't use .html
tailing anymore. Should we change the links accordingly? (e.g. text <page>
instead of text <page.html>
)
We should do that for sure, but I would schedule it for the next PR. I want to first solve all the errors and warnings, so that we have it easier to see if something breaks when we make further changes.
Most of the commits in this PR fix errors and warnings during compilation.