Check man page with a unit test instead of a script

[dgageot]

Signed-off-by: David Gageot david@gageot.net

[codecov-io]

Codecov Report

Merging #2180 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2180   +/-   ##
=======================================
  Coverage   58.55%   58.55%           
=======================================
  Files         188      188           
  Lines        7882     7882           
=======================================
  Hits         4615     4615           
  Misses       2877     2877           
  Partials      390      390

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b139240...c4d9702. Read the comment docs.

[briandealwis]

Is the idea here that contributors are more likely to see this error before they submit rather than during the CI build? Or are you looking to move the testing steps from make test into the normal testing flow?

[dgageot]

It should be the same for contributors. Yes, the idea is to move the testing steps from make test into the normal testing flow.

[dgageot]

@balopat Could you TAL at this one. It's very minor

[balopat]

LGTM, thank you!