Skip to content

Comments

Fix formatting of man page references#213

Merged
ericcurtin merged 1 commit intoinotify-tools:masterfrom
jwilk-forks:man
Apr 3, 2024
Merged

Fix formatting of man page references#213
ericcurtin merged 1 commit intoinotify-tools:masterfrom
jwilk-forks:man

Conversation

@jwilk
Copy link
Contributor

@jwilk jwilk commented Apr 2, 2024

No description provided.

@ericcurtin
Copy link
Member

ericcurtin commented Apr 3, 2024

Not sure about this, I did a few grep/zgrep/man in:

/usr/share/man/

and it looks like no space before ( is more common.

@jwilk
Copy link
Contributor Author

jwilk commented Apr 3, 2024

man-pages(7) says:

Any reference to another man page should be written with the name in bold, always followed by the section number, formatted in Roman (normal) font, without any separating spaces (e.g., intro(2)). The preferred way to write this in the source file
is:

.BR intro (2)

@ericcurtin
Copy link
Member

That's enough justification for me, in general I prefer to have more than a one liner description for all commits.

@ericcurtin ericcurtin merged commit d6533f6 into inotify-tools:master Apr 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants