update documentation

docs/html/search/searchdata.js

@@ -1,12 +1,12 @@
 var indexSectionsWithContent =
 {
-  0: "1234abcdefghilmnopqrstuvw",
-  1: "dfrst",
+  0: "01234abcdefghilmnopqrstuvw—",
+  1: "dfmprst",
   2: "defst",
   3: "abcdfgprt",
   4: "bcdfhilmnoprstuv",
   5: "bnv",
-  6: "admpqrt"
+  6: "acdmpqrt"
 };
 
 var indexSectionNames =