On Fri, Apr 5, 2024 at 9:18 AM Robert Haas <robertmh...@gmail.com> wrote:
> On Fri, Apr 5, 2024 at 12:15 PM David G. Johnston > <david.g.johns...@gmail.com> wrote: > > Here is a link to my attempt at this a couple of years ago. It > basically "abuses" refentry. > > > > > https://www.postgresql.org/message-id/CAKFQuwaVm%3D6d_sw9Wrp4cdSm5_k%3D8ZVx0--v2v4BH4KnJtqXqg%40mail.gmail.com > > > > I never did dive into the man page or PDF dynamics of this particular > change but it seemed to solve HTML pagination without negative consequences > and with minimal risk of unintended consequences since only the markup on > the pages we want to alter is changed, not global configuration. > > Hmm, but it seems like that might have generated some man page entries > that we don't want? > If so (didn't check) maybe just remove them in post? David J.
