Adapted to the other command line documentation format