Built mkdocs

2021-09-05 12:12:03 +02:00
parent 1a4869faa1
commit c0c5a3a06d
202 changed files with 2546 additions and 1638 deletions
--- a/docs/menudata.js
+++ b/docs/menudata.js
@@ -74,4 +74,7 @@ var menudata={children:[
 {text:"Variables",url:"functions_vars.html"},
 {text:"Related Functions",url:"functions_rela.html"}]}]},
 {text:"Files",url:"files.html",children:[
-{text:"File List",url:"files.html"}]}]}
+{text:"File List",url:"files.html"},
+{text:"File Members",url:"globals.html",children:[
+{text:"All",url:"globals.html"},
+{text:"Macros",url:"globals_defs.html"}]}]}]}