Bug #4531
Updated by Davide Pesavento about 6 years ago
`docs/conf.py` controls the titles title of manpages. They are rendered correctly by the *man* builder (as a `.SH NAME` section), in `build/docs/manpages/` but the same NAME section containing the title is missing in the HTML output. This issue is to fix the build scripts so that a NAME section with the title appears in HTML output, output same as what's shown in `man` command.