From f03ba4b56f7ee3fb60dc19a005de73326301be9d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 15 Oct 2012 17:37:47 +0200 Subject: [PATCH] man page cosmetics * src/bin/man/genltl.x, src/bin/man/ltlcheck.x, src/bin/man/ltlfilt.x, src/bin/man/randltl.x: Use .BR in the SEE ALSO section. --- src/bin/man/genltl.x | 2 +- src/bin/man/ltlcheck.x | 5 ++++- src/bin/man/ltlfilt.x | 2 ++ src/bin/man/randltl.x | 3 ++- 4 files changed, 9 insertions(+), 3 deletions(-) diff --git a/src/bin/man/genltl.x b/src/bin/man/genltl.x index f55efcc94..53a90be52 100644 --- a/src/bin/man/genltl.x +++ b/src/bin/man/genltl.x @@ -21,4 +21,4 @@ rv K. Rozier and M. Vardi: LTL Satisfiability Checking. Proceedings of Spin'07. LNCS 4595. [SEE ALSO] -randltl(1) +.BR randltl (1) diff --git a/src/bin/man/ltlcheck.x b/src/bin/man/ltlcheck.x index e7adc7a46..e4e5fba9d 100644 --- a/src/bin/man/ltlcheck.x +++ b/src/bin/man/ltlcheck.x @@ -35,7 +35,10 @@ options: ltlcheck is faster when it does not have to compute these statistics. [SEE ALSO] -randltl(1), genltl(1), ltlfilt(1), ltl2tgba(1) +.BR randltl (1), +.BR genltl (1), +.BR ltlfilt (1), +.BR ltl2tgba (1) [BIBLIOGRAPHY] ltlcheck is a Spot-based reimplementation of a tool called LBTT. LBTT diff --git a/src/bin/man/ltlfilt.x b/src/bin/man/ltlfilt.x index 743f4ae3a..cb5287bea 100644 --- a/src/bin/man/ltlfilt.x +++ b/src/bin/man/ltlfilt.x @@ -2,3 +2,5 @@ ltlfilt \- filter files or lists of LTL/PSL formulas [DESCRIPTION] .\" Add any additional description here +[SEE ALSO] +.BR randltl (1) diff --git a/src/bin/man/randltl.x b/src/bin/man/randltl.x index 1c6fb7281..ed4e2eaeb 100644 --- a/src/bin/man/randltl.x +++ b/src/bin/man/randltl.x @@ -3,4 +3,5 @@ randltl \- generate random LTL/PSL formulas [DESCRIPTION] .\" Add any additional description here [SEE ALSO] -genltl(1), ltlfilt(1) +.BR genltl (1), +.BR ltlfilt (1)