make documentation for release 2.0.2

2019-02-10 14:39:57 +01:00
parent 3235d52212
commit 9a81493a1a
85 changed files with 1821 additions and 22953 deletions
--- a/doc/html/menudata.js
+++ b/doc/html/menudata.js
@ -0,0 +1,5 @@
+var menudata={children:[
+{text:"Main Page",url:"index.html"},
+{text:"Related Pages",url:"pages.html"},
+{text:"Files",url:"files.html",children:[
+{text:"File List",url:"files.html"}]}]}