diff --git a/Documentation/doxyassist.xml b/Documentation/doxyassist.xml
index 62d72fd6b3d..9658c19da77 100644
--- a/Documentation/doxyassist.xml
+++ b/Documentation/doxyassist.xml
@@ -435,7 +435,6 @@ namespace for the XML file to be processed properly. -->
../Stream_support/doc/IOstream/
../Stream_support/doc/IOstream/
./tags/Stream_support.tag
- ../Stream_support/examples
../Stream_support/doc/IOstream/fig
- ./tags/Manual.tag=../../CGAL.CGAL/html