38.5.1. Documentation verification

When running build-doc, we do the following checks:

The scripts prints what you have to fix and exits with an error status if there are any errors.