diff --git a/ChangeLog b/ChangeLog
index 94cf1f596..ea99a9cc2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-08-12  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* doc/Doxyfile.in (STRIP_FROM_PATH): Strip @srcdir@ so its
+	does not appear when listing mainpage.dox.
+
 2004-08-11  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh:
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 10461e5ca..8bc742011 100644
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -115,7 +115,8 @@ FULL_PATH_NAMES        = YES
 # path to strip.
 
 STRIP_FROM_PATH        = @top_srcdir@/src/ \
-                         @top_srcdir@/iface/
+                         @top_srcdir@/iface/ \
+			 @srcdir@
 
 # The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of
 # the path mentioned in the documentation of a class, which tells