Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Use data feature to define docs index #1953
@mattr- got me thinking about ways to sort pages in #1941, specifically around documentation, and I think this is a pretty cool way to do it. It further simplifies the awesome table of contents stuff that @penibelst did via 3f7dcaa, and eliminates the double content that unfortunately still existed there.
Change the data file, change the table of contents.