5 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	0a710eb995	declare all argp_program_doc as static ... * bench/stutter/stutter_invariance_formulas.cc, bin/autcross.cc, bin/autfilt.cc, bin/dstar2tgba.cc, bin/genaut.cc, bin/genltl.cc, bin/ltl2tgba.cc, bin/ltl2tgta.cc, bin/ltlcross.cc, bin/ltldo.cc, bin/ltlfilt.cc, bin/ltlsynt.cc, bin/randaut.cc, bin/randltl.cc, bin/spot-x.cc, bin/spot.cc, tests/ltsmin/modelcheck.cc: Here.	2022-10-25 16:31:35 +02:00
Alexandre Duret-Lutz	4235b007f3	org: clarify that ltl2tgba does not only output TGBA ... * doc/org/tools.org: Adjust the link to ltl2tgba.org. * doc/org/ltl2tgba.org: Also point out that --generic and --parity can be used without --deterministic. * bin/ltl2tgba.cc, bin/spot.cc: Adjust help text.	2018-06-27 16:52:45 +02:00
Alexandre Duret-Lutz	ddaaf2c1c8	man: mention ltlsynt in spot(7) ... Fixes #292. * bin/man/spot.x, bin/spot.cc: Add missing cross references. * tests/sanity/bin.test: Add safety checks so we do not forget again.	2017-10-15 12:22:22 +02:00
Alexandre Duret-Lutz	ba897bc3eb	man: add missing crossrefs in spot(7) ... Part of #292. * bin/man/spot.x, bin/spot.cc: Here.	2017-10-15 12:22:22 +02:00
Alexandre Duret-Lutz	d02ee34e10	doc: add a spot(7) man page ... Suggested by Akim Demaille. Fixes #171. * bin/man/spot.x, bin/spot.cc: New files. * bin/man/Makefile.am, bin/Makefile.am: Add them. * doc/org/tools.org, NEWS: Mention the new page.	2016-05-02 10:41:41 +02:00