[Spot] man autcross

Hi, the manual says in the section DESCRIPTION: The list of automata to use should be supplied on standard input, or using the -f or -F options. However, the tool knows no -f option. Fanda