Skip to content

doc: Remove capitalization in man page headings

Douglas Raillard requested to merge github/fork/douglas-raillard-arm/_pr159 into master

The man page builder of Sphinx already takes care of that to align with man pages conventions, and the non-capitalized output looks better in html doc.

Merge request reports