modifica al comando man per evidenziare un comando specifico