Closed davidmallasen closed 2 weeks ago
There are redundant links in ## subsections that appear as independent sections in the web docs sidebar. I removed these and created a single top-level # section as instructed in: https://x-heep.readthedocs.io/en/latest/How_to/UpdateDocumentation.html
There are redundant links in ## subsections that appear as independent sections in the web docs sidebar. I removed these and created a single top-level # section as instructed in: https://x-heep.readthedocs.io/en/latest/How_to/UpdateDocumentation.html