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 42452ba4a3
commit 5b037f96e0
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
[SEE ALSO]
.BR randltl (1)
.BR autfilt (1)
.BR autcross (1)
.BR dstar2tgba (1)
.BR genaut (1)
.BR genltl (1)
.BR ltlfilt (1)
.BR ltlrind (1)
.BR randaut (1)
.BR ltl2tgba (1)
.BR ltl2tgta (1)
.BR autfilt (1)
.BR ltlcross (1)
.BR ltldo (1)
.BR ltlfilt (1)
.BR ltlgrind (1)
.BR randaut (1)
.BR randltl (1)
.BR spot-x (7)
.UR https://spot.lrde.epita.fr/