Documentation: adding Google Custom search block to each header

LeoBaldachino · Aug 3, 2015 · bd4c685 · bd4c685
1 parent da948c8
commit bd4c685
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/header.html b/doc/header.html
@@ -22,6 +22,7 @@
 
 <!--BEGIN TITLEAREA-->
 <div id="titlearea">
+<!--#include virtual="/google-search.html"-->
 <table cellspacing="0" cellpadding="0">
  <tbody>
  <tr style="height: 56px;">