Documentation mostly working as desired. Good enough for now. Added some topics.

2021-01-29 19:14:41 -05:00
parent d9b4e5cfe2
commit f8edae68d9
77 changed files with 2135 additions and 176 deletions
--- a/Documentation/html/search/searchdata.js
+++ b/Documentation/html/search/searchdata.js
@@ -1,9 +1,9 @@
 var indexSectionsWithContent =
 {
-  0: "delmr",
-  1: "dlmr",
+  0: "!dhlmrs",
+  1: "!dlmr",
  2: "m",
-  3: "del"
+  3: "dhls"
 };

 var indexSectionNames =