diff --git a/ChangeLog b/ChangeLog
index bbf1c5bcb..be43984cd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 5ce7de602..c94e3feee 100644
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -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
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 639250f56..96959c7d5 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -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
diff --git a/doc/mainpage.dox b/doc/mainpage.dox
new file mode 100644
index 000000000..b82c70ad2
--- /dev/null
+++ b/doc/mainpage.dox
@@ -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.
+
+