Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

I'm not trying to stop you committing whatever you want to your repository, of course, but I want to be clear that this doesn't actually solve the right problem for manual page indexing. The point of the parsing code in mandb(8) - and I'm not claiming that it's great code or the perfect design, ju

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Alex, At 2024-11-02T11:39:37+0100, Alejandro Colomar wrote: > And diffs are a real win for text. Thus, semantic newlines are a real > win for text. "Write poems, not prose." (Any chance we may get that > warning added to groff(1)? :D) Yes, but I've kicked it out to groff 1.25 because a gif

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Sat, Nov 02, 2024 at 07:50:23PM -0500, G. Branden Robinson wrote: > At 2024-11-02T19:06:53+, Colin Watson wrote: > > How embarrassing. Could somebody please file a bug on > > https://gitlab.com/man-db/man-db/-/issues to remind me to fix that? > > Done;

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

(now with some local vim macros fixed to stop accidentally corrupting the To: lines of some of my outgoing emails ...) On Sat, Nov 02, 2024 at 08:09:29PM -0500, G. Branden Robinson wrote: > At 2024-11-03T00:47:23+, Colin Watson wrote: > > and the fact that the NAME section has both semantic an

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Colin, At 2024-11-03T00:47:23+, Colin Watson wrote: > (That's leaving aside things like localized man pages, which I know > some folks on the groff list tend to sniff I can think of only one, the maintainer of a rival formatter. ;-) > at but I think they're important, Me too. I agree w

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Colin, At 2024-11-02T19:06:53+, Colin Watson wrote: > How embarrassing. Could somebody please file a bug on > https://gitlab.com/man-db/man-db/-/issues to remind me to fix that? Done; . > lexgrog(1) is a useful (if oddly-named, sorry) debuggi

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Sun, Nov 03, 2024 at 01:05:34AM +0100, Alejandro Colomar wrote: > Are you sure? With a small tweak, I get the following comparison: > > alx@devuan:~/src/linux/man-pages/man-pages/main$ time lexgrog man/*/* | > wc > lexgrog: can't resolve man7/groff_man.7 > 12475 99295 9

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Sun, Nov 03, 2024 at 01:05:42AM +0100, Alejandro Colomar wrote: > Hi Colin, > > On Sat, Nov 02, 2024 at 11:47:14PM +, Colin Watson wrote: > > On Sat, Nov 02, 2024 at 10:36:20PM +0100, Alejandro Colomar wrote: > > > This is quite naive, and will not work with pages that define their own > >

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Colin, On Sat, Nov 02, 2024 at 11:47:14PM +, Colin Watson wrote: > On Sat, Nov 02, 2024 at 10:36:20PM +0100, Alejandro Colomar wrote: > > This is quite naive, and will not work with pages that define their own > > stuff, since this script is not groff(1). But it should be as fast as > > is

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Sat, Nov 02, 2024 at 10:36:20PM +0100, Alejandro Colomar wrote: > This is quite naive, and will not work with pages that define their own > stuff, since this script is not groff(1). But it should be as fast as > is possible, which is what Colin wants, is as simple as it can be (and > thus relat

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Sat, Nov 02, 2024 at 05:08:37AM -0500, G. Branden Robinson wrote: > On GNU/Linux systems, the only man page indexer I know of is Colin > Watson's man-db--specifically, its mandb(8) program. But it's nicely > designed so that the "topic and summary description extraction" task is > delegated to

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

[adding Colin Watson to CC; and the groff list because I started musing] Hi Alex, At 2024-11-01T21:07:29+0100, Alejandro Colomar wrote: > > > > -/proc/pid/fdinfo/ \- information about file descriptors > > > > +.IR /proc/ pid /fdinfo " \- information about file descriptors" > > > > > > I wouldn't

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Branden, Colin, On Sat, Nov 02, 2024 at 11:40:13AM +0100, Alejandro Colomar wrote: > > I also of course have ideas for generalizing the feature, so that you > > can request any (sub)section by name, and, with a bit more ambition,[4] > > paragraph tags (`TP`) too. > > > > So you could do things

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Branden, On Sat, Nov 02, 2024 at 05:08:37AM -0500, G. Branden Robinson wrote: > [adding Colin Watson to CC; and the groff list because I started musing] > > Hi Alex, > > At 2024-11-01T21:07:29+0100, Alejandro Colomar wrote: > > > > > -/proc/pid/fdinfo/ \- information about file descriptors >

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

Hi Ian, On Fri, Nov 01, 2024 at 11:19:18AM -0700, Ian Rogers wrote: > On Fri, Nov 1, 2024 at 6:24 AM Alejandro Colomar wrote: > > > > On Tue, Oct 15, 2024 at 02:17:17PM -0700, Ian Rogers wrote: > > > When /proc/pid/fdinfo was part of proc.5 man page the indentation made > > > sense. As a standalo

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Fri, Nov 1, 2024 at 6:24 AM Alejandro Colomar wrote: > > On Tue, Oct 15, 2024 at 02:17:17PM -0700, Ian Rogers wrote: > > When /proc/pid/fdinfo was part of proc.5 man page the indentation made > > sense. As a standalone man page the indentation doesn't need to be so > > far over to the right. Re

Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

On Tue, Oct 15, 2024 at 02:17:17PM -0700, Ian Rogers wrote: > When /proc/pid/fdinfo was part of proc.5 man page the indentation made > sense. As a standalone man page the indentation doesn't need to be so > far over to the right. Remove the initial tagged pragraph and move the > styling to the init

[PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page

When /proc/pid/fdinfo was part of proc.5 man page the indentation made sense. As a standalone man page the indentation doesn't need to be so far over to the right. Remove the initial tagged pragraph and move the styling to the initial summary description. Suggested-by: G. Branden Robinson Signed-