are the src man .rst files used?
For kea-dhcp4 (for example) there are two different manual page .rst files:
The doc uses only the first one so:
- if the second file is useless it should be removed
- if the second file can generate the first one a pointer to the procedure should be added (eventually after being written)
- if the second file is used can someone explain how?
I have a side question: should have premium programs a manual page in the core doc? IMHO they should as we have already premium hook documentation in the (core) ARM.