In the end of the document, a link is representing /main/en/docs.xml instead of /docs/en/index.xml ... the old site still exists, but it looks pretty inconsistent. Reproducible: Always Steps to Reproduce: 1. Saw link 2. Pressed link 3. Saw old site Actual Results: The old site showed up Expected Results: The new site should have been showing up
Created attachment 21578 [details, diff] Trivial patch Please review.
Non-technical bug shouldn't need any review. Just commit it ;-)
Indeed. Go ahead, make broeman's day and fix this :)
Committed. Thanks.