Closed stephane-caron closed 1 month ago
This PR fixes the Features page. There are two sides to the update:
doc/a-features/*.md
Look at the menu to the left as well:
This is one step towards fixing https://github.com/stack-of-tasks/pinocchio/issues/2408 but it does not address the whole issue yet.
Hi ! This project doesn't usually accept pull requests on the main branch. If this wasn't intentionnal, you can change the base branch of this PR to devel (No need to close it for that). Best, a bot.
This PR fixes the Features page. There are two sides to the update:
doc/a-features/*.md
that were in parallel and empty at the top level are now subpages of FeaturesBefore:
After:
Look at the menu to the left as well:
This is one step towards fixing https://github.com/stack-of-tasks/pinocchio/issues/2408 but it does not address the whole issue yet.