From bd4c6855538ff5175625e3f0dffa88bb87f6fa6c Mon Sep 17 00:00:00 2001
From: Maksim Shabunin <maksim.shabunin@itseez.com>
Date: Mon, 3 Aug 2015 14:01:02 +0300
Subject: [PATCH] Documentation: adding Google Custom search block to each
 header

---
 doc/header.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/header.html b/doc/header.html
index 55f2ea171c..bbaf1d53b4 100644
--- a/doc/header.html
+++ b/doc/header.html
@@ -22,6 +22,7 @@ $extrastylesheet
 
 <!--BEGIN TITLEAREA-->
 <div id="titlearea">
+<!--#include virtual="/google-search.html"-->
 <table cellspacing="0" cellpadding="0">
  <tbody>
  <tr style="height: 56px;">