This repository was archived by the owner on Jun 19, 2025. It is now read-only.
Better doc: divide index into sub-pages #45
Description
Atm we have a very big index page, where all the doc is pasted as is. We should divide the doc into sub-pages to make the pages less heavy to load.
Also, when this is done, we can decrease the size limit for triggering a warning on documentation build (revert commit e2843b365d697eaf24f385cd4072ecf5731e8127)