Fixed navigation for documentation HTML pages

2021-02-03 17:05:10 -05:00
parent 47d317cac7
commit b723b3f7e1
63 changed files with 397 additions and 239 deletions
--- a/Documentation/html/search/all_3.js
+++ b/Documentation/html/search/all_3.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['main_9',['main',['../main_8c.html#a840291bc02cba5474a4cb46a9b9566fe',1,'main.c']]],
-  ['main_2ec_10',['main.c',['../main_8c.html',1,'']]]
+  ['main_10',['main',['../main_8c.html#a840291bc02cba5474a4cb46a9b9566fe',1,'main.c']]],
+  ['main_2ec_11',['main.c',['../main_8c.html',1,'']]]
 ];