Fix a few warnings generated when creating the manuals.

Our current doc generation toolchain does not allow to reference external
documents.