Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Table of contents is missing. #8

Closed
Erquint opened this issue Mar 30, 2021 · 2 comments
Closed

Table of contents is missing. #8

Erquint opened this issue Mar 30, 2021 · 2 comments
Assignees

Comments

@Erquint
Copy link
Contributor

Erquint commented Mar 30, 2021

side-by-side comparison screenshot
page content summary index screenshot
Might need some kind of replacement for that.

@icculus
Copy link
Contributor

icculus commented Mar 31, 2021

pandoc (which generates our HTML) has an option for adding a table of contents, but it isn't working...or more likely, I'm using it incorrectly. I'll look into this.

@icculus icculus self-assigned this Mar 31, 2021
@icculus icculus changed the title Page contents summary index is missing. Table of contents is missing. Mar 31, 2021
@icculus
Copy link
Contributor

icculus commented May 9, 2024

Honestly, I kind of like it without the table of contents (but each section can still be linked to directly, and we have UI for that when mousing over it, which is half the need for the TOC).

Most pages are small enough that don't need this; the larger ones, like the 1.2 migration guide, could benefit from it, but we could also just add something manually to the top of those pages.

@icculus icculus closed this as not planned Won't fix, can't repro, duplicate, stale May 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants