Man pages matching name digidoc-tool in section 1: