From 2542c65270138e111c855eeb1161d62839b339d0 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Tue, 13 Sep 2011 09:34:46 +0000
Subject: [PATCH] \href is LaTeX only. Our manual tools understand \ccAnchor as
 a replacement.

---
 STL_Extension/doc_tex/STL_Extension_ref/stl_extension.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/STL_Extension/doc_tex/STL_Extension_ref/stl_extension.tex b/STL_Extension/doc_tex/STL_Extension_ref/stl_extension.tex
index c46294c73bd..dc3804c965d 100644
--- a/STL_Extension/doc_tex/STL_Extension_ref/stl_extension.tex
+++ b/STL_Extension/doc_tex/STL_Extension_ref/stl_extension.tex
@@ -115,7 +115,7 @@
   \ccDefinition The function \ccRefName\ copies $n$ items from an
   input iterator to an output iterator. Its exact behaviour is defined
   in $\mathsection 25.3.1$ of the C++ standard draft
-  \href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf}{N3242}.
+  \ccAnchor{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf}{N3242}.
 
   \ccInclude{CGAL/algorithm.h}
 \end{ccRefFunction}