alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

man: add missing crossrefs in spot(7)

Browse source 
Part of #292.

* bin/man/spot.x, bin/spot.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-10-15 11:15:53 +02:00
parent 183ec1fb4e
commit ba897bc3eb
2 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
bin/man/spot.x
View file

@ -11,16 +11,19 @@ that are listed below.
.\" Add any additional description here .\" Add any additional description here
[SEE ALSO] [SEE ALSO]
.BR randltl (1) .BR autfilt (1)
.BR autcross (1)
.BR dstar2tgba (1)
.BR genaut (1)
.BR genltl (1) .BR genltl (1)
.BR ltlfilt (1)
.BR ltlrind (1)
.BR randaut (1)
.BR ltl2tgba (1) .BR ltl2tgba (1)
.BR ltl2tgta (1) .BR ltl2tgta (1)
.BR autfilt (1)
.BR ltlcross (1) .BR ltlcross (1)
.BR ltldo (1) .BR ltldo (1)
.BR ltlfilt (1)
.BR ltlgrind (1)
.BR randaut (1)
.BR randltl (1)
.BR spot-x (7) .BR spot-x (7)
.UR https://spot.lrde.epita.fr/ .UR https://spot.lrde.epita.fr/

5
bin/spot.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et // Copyright (C) 2013, 2014, 2015, 2016, 2017 Laboratoire de Recherche et
// Développement de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -39,6 +39,7 @@ static const argp_option options[] =
"reproduce a bug.") }, "reproduce a bug.") },
{ nullptr, 0, nullptr, 0, "Tools that output automata:", 0 }, { nullptr, 0, nullptr, 0, "Tools that output automata:", 0 },
{ DOC("randaut", "Generate random ω-automata.") }, { DOC("randaut", "Generate random ω-automata.") },
{ DOC("genaut", "Generate ω from scalable patterns.") },
{ DOC("ltl2tgba", "Convert LTL or PSL into variants of Transition-based " { DOC("ltl2tgba", "Convert LTL or PSL into variants of Transition-based "
"Generalized Büchi Automata.") }, "Generalized Büchi Automata.") },
{ DOC("ltl2tgta", "Convert LTL or PSL into variants of Transition-based " { DOC("ltl2tgta", "Convert LTL or PSL into variants of Transition-based "
@ -47,6 +48,8 @@ static const argp_option options[] =
{ DOC("dstar2tgba", "Convert ω-automata into variants of " { DOC("dstar2tgba", "Convert ω-automata into variants of "
"Transition-based Büchi automata.") }, "Transition-based Büchi automata.") },
{ nullptr, 0, nullptr, 0, "Tools that run other tools:", 0 }, { nullptr, 0, nullptr, 0, "Tools that run other tools:", 0 },
{ DOC("autcross", "Cross-compare tools processing ω-automata,"
" watch for bugs, and generate statistics.") },
{ DOC("ltlcross", "Cross-compare translators of LTL or PSL formulas " { DOC("ltlcross", "Cross-compare translators of LTL or PSL formulas "
"into ω-automata, watch for bugs, and generate statistics.") }, "into ω-automata, watch for bugs, and generate statistics.") },
{ DOC("ltldo", "Wrap any tool that inputs LTL or PSL formulas and possibly " { DOC("ltldo", "Wrap any tool that inputs LTL or PSL formulas and possibly "