From 128f105fe5767587c50cab5dc9466d4a18bcbf46 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 17 Jun 2015 00:03:39 +0200
Subject: [PATCH] * doc/mainpage.dox: Update URL.

---
 doc/mainpage.dox | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/mainpage.dox b/doc/mainpage.dox
index 3ee6a4499..7f576ed19 100644
--- a/doc/mainpage.dox
+++ b/doc/mainpage.dox
@@ -3,11 +3,11 @@
 /// \section overview The Spot Library
 ///
 /// Spot is a model-checking library.  It provides algorithms and data
-/// structures to implement the automata-theoretic approach to
-/// model-checking.
+/// structures to manipulate omega-automata, and implement the
+/// automata-theoretic approach to model-checking.
 ///
-/// See <a href="http://spot.lip6.fr/">spot.lip6.fr</a> for more
-/// information about this project.
+/// See <a href="http://spot.lrde.epita.fr/">spot.lrde.epita.fr</a>
+/// for more information about this project.
 ///
 /// \section thisdoc This Document
 ///