• Use the command man -k '' which list all man-page names available