hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9.4K
active users

good evening! do you use software of any description? ? ?

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 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!

systemd-jaded

@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.