good evening! do you use #gnu software of any description? #postgres? #zsh?
have you found the manuals annoying and hard to find things in, or telling you to go f-- err i mean read the info page?
consider using the single page builds of such reference manuals on https://docs.jade.fyi
they have nice CSS and no page splitting so you can simply hit ctrl f
@leftpaddotpy This is lovely. They have tables of contents!
@fourpenguins @leftpaddotpy Turns out the official Bash manual has a single-page version with a table of contents, you just have to find it.
@mathew @fourpenguins yup, it's of the exact same provenance as mine ultimately, and my html processor isn't that extensive at the end of the day.
we're both running makeinfo --html --no-split, just, their website is harder to find stuff on, they do fewer sneaky html editing tricks to make mobile work well (my site doesn't have x overflows but this is by deliberate effort), and their css is different.