--- orig/doc/manual/search-functions.php	2015-03-25 15:21:02.865060445 -0700
+++ patched/doc/manual/search-functions.php	2015-03-25 15:21:07.494100039 -0700
@@ -268,6 +268,7 @@
   echo "  </div>\n";
   echo "</div>\n";
   echo "<div class=\"searchresults\">\n";
+  echo "<p>Note that this only includes results from the IMP manual. You may also want to search the <a href=\"../ref/\">Reference Guide</a>.</p>\n";
   echo "<table cellspacing=\"2\">\n";
   $numDocs = sizeof($docs);
   if ($numDocs==0)
--- orig/doc/ref/search-functions.php	2015-03-25 15:21:02.865060445 -0700
+++ patched/doc/ref/search-functions.php	2015-03-25 15:21:07.494100039 -0700
@@ -268,6 +268,7 @@
   echo "  </div>\n";
   echo "</div>\n";
   echo "<div class=\"searchresults\">\n";
+  echo "<p>Note that this only includes results from the Reference Guide. You may also want to search the <a href=\"../manual/\">IMP Manual</a>.</p>\n";
   echo "<table cellspacing=\"2\">\n";
   $numDocs = sizeof($docs);
   if ($numDocs==0)
