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

* doc/mainpage.dox: New file.

Browse source 
* doc/Makefile.am (EXTRA_DIST): Add mainpage.dox.
* doc/Doxyfile.in (INPUT): Add @srcdir@/mainpage.dox
This commit is contained in:
Alexandre Duret-Lutz 2003-06-26 14:57:09 +00:00
parent 8e3a24ad5c
commit ecda9e2641
4 changed files with 21 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,5 +1,9 @@
2003-06-26 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* doc/mainpage.dox: New file.
* doc/Makefile.am (EXTRA_DIST): Add mainpage.dox.
* doc/Doxyfile.in (INPUT): Add @srcdir@/mainpage.dox
* src/tgba/succiter.hh: Adjust comments about promises to
refer to accepting conditions.
* src/tgba/tgbabddconcretefactory.hh: Likewise.

2
doc/Doxyfile.in
View file

@ -57,7 +57,7 @@ WARN_LOGFILE =
#---------------------------------------------------------------------------
# configuration options related to the input files
#---------------------------------------------------------------------------
INPUT = @top_srcdir@/src
INPUT = @srcdir@/mainpage.dox @top_srcdir@/src
FILE_PATTERNS = *.hh \
*.hxx
RECURSIVE = YES

2
doc/Makefile.am
View file

@ -17,4 +17,4 @@ $(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
spot.html: $(srcdir)/stamp
spot.latex: $(srcdir)/stamp
EXTRA_DIST = $(srcdir)/stamp spot.html
EXTRA_DIST = $(srcdir)/stamp spot.html mainpage.dox

15
doc/mainpage.dox Normal file
View file

@ -0,0 +1,15 @@
/// \mainpage
///
/// This main page has yet to be written.
///
/// \section pointers Handy starting points
///
/// \li spot::ltl::formula Base class for an LTL formulae.
/// \li spot::ltl::parse Parsing a text string into a
/// spot::ltl::formula.
/// \li spot::tgba Base class for Transition-based
/// Generalized Büchi Automaton.
/// \li spot::ltl_to_tgba Convert an spot::ltl:formula into a
/// spot::tgba.