From 490b0b1584200ff8b65776eb2de8bc5011a365e7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 13 Aug 2015 15:14:04 +0200 Subject: [PATCH] * doc/org/tools.org: Add links to man pages. --- doc/org/tools.org | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/doc/org/tools.org b/doc/org/tools.org index 89ed8e73c..0e7a67b48 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -53,6 +53,26 @@ corresponding commands are hidden. - [[file:ltldo.org][=ltldo=]] Run LTL/PSL formulas through other tools using common [[file:ioltl.org][input]] and [[file:oaut.org][output]] interfaces. +* Man pages + +In addition to the above illustrated documentation, Spot also installs +man pages for all these tools. These man pages are mostly generated +automatically from the =--help= output of each tool, and often +completed with additional text (like examples or bibliography). For +convenience, you can browse their HTML versions: + +[[./man/autfilt.1.html][=autfilt=]](1), +[[./man/dstar2tgba.1.html][=dstar2tgba=]](1), +[[./man/genltl.1.html][=genltl=]](1), +[[./man/ltl2tgba.1.html][=ltl2tgba=]](1), +[[./man/ltl2tgta.1.html][=ltl2tgta=]](1), +[[./man/ltlcross.1.html][=ltlcross=]](1), +[[./man/ltldo.1.html][=ltldo=]](1), +[[./man/ltlfilt.1.html][=ltlfilt=]](1), +[[./man/randaut.1.html][=randaut=]](1), +[[./man/randltl.1.html][=randltl=]](1), +[[./man/spot-x.7.html][=spot-x=]](7). + * Advanced use-cases - [[file:csv.org][Reading and writing CSV files]]