tweaking docs

2017-12-10 20:03:39 -08:00
parent 71b12596eb
commit cf1006943b
46 changed files with 388 additions and 53 deletions
--- a/docs/search/pages_0.js
+++ b/docs/search/pages_0.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['get_20information_20out_20of_20xml',['Get information out of XML',['../_example-3.html',1,'']]]
+  ['get_20information_20out_20of_20xml',['Get information out of XML',['../_example_3.html',1,'']]]
 ];