]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa0da2b) | patch
msr.4, veth.4, packet.7, sched.7, unicode.7: Remove redundant .PP
authorAlejandro Colomar <alx.manpages@gmail.com>
Thu, 7 Jan 2021 16:19:24 +0000 (17:19 +0100)
committerMichael Kerrisk <mtk.manpages@gmail.com>
Fri, 8 Jan 2021 08:58:28 +0000 (09:58 +0100)
commitb47ee0ab7b432334962e286f637d34706772b530
treed367c53ead0af667e955856ed311f7e2be758468tree | snapshot
parentaa0da2b9b1cacad91815f9800ad7179362115c54commit | diff
msr.4, veth.4, packet.7, sched.7, unicode.7: Remove redundant .PP

.PP and .IP are redundant just before .SH or .SS.
Remove them.

$ find man? -type f \
  |xargs sed -i '/^\.[IP]P$/{N;s/.*\n\(\.S[HS]\)/\1/}';

Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
man4/msr.4 diff | blob | blame | history
man4/veth.4 diff | blob | blame | history
man7/packet.7 diff | blob | blame | history
man7/sched.7 diff | blob | blame | history
man7/unicode.7 diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.