diff --git a/Manual/doc_tex/Use_of_Stl/FunctionObject.tex b/Manual/doc_tex/Use_of_Stl/FunctionObject.tex
index c26be948485..23a2b4a3863 100644
--- a/Manual/doc_tex/Use_of_Stl/FunctionObject.tex
+++ b/Manual/doc_tex/Use_of_Stl/FunctionObject.tex
@@ -8,7 +8,10 @@ even be inlined. The following function object classes are defined in \stl.
 
 \section{Arithmetic operations}
 
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{functional}
+\ccHtmlLinksOn
 
 \stl\  defines the following function object classes \ccStyle{plus<T>},
 \ccStyle{minus<T>}, \ccStyle{times<T>}, \ccStyle{divides<T>}, and
diff --git a/Manual/doc_tex/Use_of_Stl/deque.tex b/Manual/doc_tex/Use_of_Stl/deque.tex
index 4b80dfea2ee..ce458c7893b 100644
--- a/Manual/doc_tex/Use_of_Stl/deque.tex
+++ b/Manual/doc_tex/Use_of_Stl/deque.tex
@@ -10,9 +10,10 @@ random access iterators. In addition it supports
 constant time insert and erase operations at both ends.  Insert and erase 
 in the middle take linear time.
 
-
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{deque}
-
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A mutable random access iterator.}
diff --git a/Manual/doc_tex/Use_of_Stl/list.tex b/Manual/doc_tex/Use_of_Stl/list.tex
index a099290068f..16f0fdfbb75 100644
--- a/Manual/doc_tex/Use_of_Stl/list.tex
+++ b/Manual/doc_tex/Use_of_Stl/list.tex
@@ -9,8 +9,10 @@ An object of the class \ccClassName\ is a sequence that supports
 bidirectional iterators and allows constant time insert and erase
 operations anywhere within the sequence.
 
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{list}
-
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A mutable bidirectional iterator.}
diff --git a/Manual/doc_tex/Use_of_Stl/map.tex b/Manual/doc_tex/Use_of_Stl/map.tex
index c6d44b90e2a..4bc5f1fd097 100644
--- a/Manual/doc_tex/Use_of_Stl/map.tex
+++ b/Manual/doc_tex/Use_of_Stl/map.tex
@@ -13,7 +13,11 @@ relation \ccStyle{Compare}.
 Elements are stored in maps as \ccStyle{pairs} of \ccStyle{Key} and 
 \ccStyle{T}.
 
+
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{map}
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A const bidirectional iterator.}
diff --git a/Manual/doc_tex/Use_of_Stl/multimap.tex b/Manual/doc_tex/Use_of_Stl/multimap.tex
index 81f2a210a6b..4ca9cb539e9 100644
--- a/Manual/doc_tex/Use_of_Stl/multimap.tex
+++ b/Manual/doc_tex/Use_of_Stl/multimap.tex
@@ -14,7 +14,10 @@ The interface of the class \ccClassTemplateName\ is almost the same as of
 the class \ccStyle{map<Key, Compare>}. We only list the functions 
 that have a different syntax or semantics.
 
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{map}
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A const bidirectional iterator.}
diff --git a/Manual/doc_tex/Use_of_Stl/multiset.tex b/Manual/doc_tex/Use_of_Stl/multiset.tex
index 7679d3d70ec..8d203805247 100644
--- a/Manual/doc_tex/Use_of_Stl/multiset.tex
+++ b/Manual/doc_tex/Use_of_Stl/multiset.tex
@@ -13,8 +13,10 @@ The interface of the class \ccClassTemplateName\ is almost the same as of
 the class \ccStyle{set<Key, Compare>}. We only list the functions 
 that have a different syntax or semantics.
 
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{set}
-
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A const bidirectional iterator.}
diff --git a/Manual/doc_tex/Use_of_Stl/set.tex b/Manual/doc_tex/Use_of_Stl/set.tex
index ed73fe118aa..b1568a4bb7a 100644
--- a/Manual/doc_tex/Use_of_Stl/set.tex
+++ b/Manual/doc_tex/Use_of_Stl/set.tex
@@ -10,8 +10,10 @@ type \ccStyle{Key}. It  allows for the retrieval for the elements
 themselves. The elements in the set are ordered by the ordering
 relation \ccStyle{Compare}.
 
-
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{set}
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A const bidirectional iterator.}
diff --git a/Manual/doc_tex/Use_of_Stl/vector.tex b/Manual/doc_tex/Use_of_Stl/vector.tex
index 702eff0337e..616a6fd9485 100644
--- a/Manual/doc_tex/Use_of_Stl/vector.tex
+++ b/Manual/doc_tex/Use_of_Stl/vector.tex
@@ -10,8 +10,10 @@ random access iterators. In addition it supports (amortized)
 constant time insert and erase operations at the end.  Insert and erase 
 in the middle take linear time.
 
+% prevent dead links to non-CGAL include files
+\ccHtmlLinksOff
 \ccInclude{vector}
-
+\ccHtmlLinksOn
 
 \ccTypes
 \ccNestedType{iterator}{A mutable random access iterator.}