Skip to content
  • Alexandre Duret-Lutz's avatar
    spot-x.7: new man page for common fine-tuning options · d78670ad
    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