doc: suppress a warning

    WARNING: document isn't included in any toctree for included file