diff --git a/ChangeLog b/ChangeLog
index b868d4734..2ca596983 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-12-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* doc/Doxyfile.in (EXCLUDE_SYMLINKS): Set to YES, since we have no
+	legitimate symlink in our source tree.  Requested by Akim Demaille.
+
 2004-12-20  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgbaalgos/ndfs_result.hh: Rewrite the computation of accepting
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 4a50e3e65..8dd8d85af 100644
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -455,7 +455,7 @@ EXCLUDE                =
 # The EXCLUDE_SYMLINKS tag can be used select whether or not files or directories
 # that are symbolic links (a Unix filesystem feature) are excluded from the input.
 
-EXCLUDE_SYMLINKS       = NO
+EXCLUDE_SYMLINKS       = YES
 
 # If the value of the INPUT tag contains directories, you can use the
 # EXCLUDE_PATTERNS tag to specify one or more wildcard patterns to exclude