switch groff parameter -man to -mandoc for new groff release 1.23.0
PR: 273565
(cherry picked from commit cd89fe3923e92ab090cbdff7eb215c2d85b51718)
Description
Description
Details
Details
- Provenance
wosch Authored on Sep 7 2023, 2:59 PM - Parents
- rG0e71efa38c9a: switch groff parameter -man to -mandoc
- Branches
- Unknown
- Tags