diff --git a/Packages/Manual/web_pages/doc_html/frameset/google_search.html b/Packages/Manual/web_pages/doc_html/frameset/google_search.html
new file mode 100644
index 00000000000..dd9e6e9e0bf
--- /dev/null
+++ b/Packages/Manual/web_pages/doc_html/frameset/google_search.html
@@ -0,0 +1,43 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
+<HTML>
+<HEAD>
+  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
+  <LINK TITLE="CGAL style" REL=stylesheet TYPE="text/css" HREF="cgal.css">
+   <TITLE>CGAL News</TITLE>
+</HEAD>
+
+<!--#config timefmt="%d %B %y" -->
+<BODY>
+
+<!-- Search Google  -->
+<FORM method=GET action=http://www.google.com/custom TARGET=documentFrame>
+
+<TABLE cellspacing=0 border=0 width=100%>
+<TR VALIGN=top>
+<TD ALIGN=CENTER><A HREF=http://www.google.com/search>
+<IMG SRC=http://www.google.com/logos/Logo_40wht.gif border=0
+     ALT=Google align=middle></A>
+</TD>
+</TR>
+
+<TR>
+<TD ALIGN=CENTER>
+<INPUT TYPE=text name=q size=50 maxlength=255 value="">
+<INPUT type=submit name=sa VALUE="Google Search">
+<INPUT type=hidden name=cof
+ VALUE="T:black;LW:316;ALC:#FFFF00;L:http://www.cgal.org/images/cgal_small_FAF8E
+8.gif;LH:83;BGC:#FAF8E8;AH:center;VLC:#5000CC;AWFID:4e3e85d23abe365b;">
+<FONT face=arial,sans-serif size=-1><input type=hidden name=domains value="www.c
+gal.org">
+<BR><INPUT type=radio name=sitesearch value="www.cgal.org" checked>
+Search www.cgal.org
+<INPUT type=radio name=sitesearch value="" > Search WWW
+</FONT>
+</TD>
+</TR>
+</TABLE>
+
+</FORM>
+
+</BODY>
+</HTML>
