PaddlePaddle.org requires the nav tree to be generated in order to parse the site map. Since we removed theme in https://github.com/PaddlePaddle/Paddle/pull/8752, this also removed the site navigation menu. This changelist adds back the site navigation menu. (#8760)
parent
19de16083f
commit
95a28d1326
Loading…
Reference in new issue