* src/bin/ltl2tgta.cc: Honor -x. * src/bin/man/ltl2tgta.x, src/bin/man/spot-x.x: Add cross references.