Closed driehle closed 2 years ago
Nice improvement, thanks.
@froschdesign could you please double check if this would work out for the docs builder that we've got in place?
Should I take care of the markdownlint issues?
Should I take care of the markdownlint issues?
That would be great! A separate commit is good.
Please use <!-- markdownlint-disable-next-line header-increment -->
here:
A solution for the future would be to find a headline before this section or to find a better markup than a blockquote.
The blockquote element represents a section that is quoted from another source.
https://html.spec.whatwg.org/multipage/grouping-content.html#the-blockquote-element
Description
The docs folder contains several manual redirects, i.d. HTML documents with a hard-coded redirect for legacy URLs. With the adoption of the MkDocs redirect plugin there is a simpler solution available.
This PR moves the redirects for legacy URLs in
mkdocs.yml
and removes the manually created HTML documents from Git.