Man pages matching name nauty-addptg in section 1:

nauty-addptg.1.en

debian 12 / nauty