Open ursi opened 3 years ago
Yes, this is by design. Usually the h1 headings, ie those introduced by a single #, contain the library name; we remove them in Pursuit because otherwise it would be duplicated. You shouldn’t really have more than one of those per file. You can fix this by just demoting each heading: each # should become ##, each ## should become ###, and so on.
I see, is this behaviour documented anywhere?
It’s not, unfortunately. There’s a help page for package authors here: https://pursuit.purescript.org/help/authors which would be the place to put it.
I just realized the
#
headers on my README are not being displayed on pursuit. GitHub Pursuit