-
Alexandre Duret-Lutz authored
* src/bin/spot-x.cc, src/bin/man/spot-x.x: New files. * src/bin/Makefile.am, src/bin/man/Makefile.am: Adjust. * src/bin/man/ltl2tgba.x: Remove all fine-tuning options, and make a reference spot spot-x (7). * src/bin/common_setup.hh, src/bin/common_setup.cc: Add a misc_argp_hidden version of the option, so that --help and --version are not shown in the --help output used by help2man to generate spot-x.7. * src/bin/ltl2tgba.cc: Refer to spot-x.7.
d78670ad