* doc/Doxyfile.in (STRIP_FROM_PATH): Strip @srcdir@ so its

does not appear when listing mainpage.dox.

ChangeLog

+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:

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