diff options
Diffstat (limited to '3rdparty/rapidjson/doc/misc/footer.html')
-rw-r--r-- | 3rdparty/rapidjson/doc/misc/footer.html | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/3rdparty/rapidjson/doc/misc/footer.html b/3rdparty/rapidjson/doc/misc/footer.html new file mode 100644 index 00000000000..843aa110448 --- /dev/null +++ b/3rdparty/rapidjson/doc/misc/footer.html @@ -0,0 +1,27 @@ +<!-- HTML footer for doxygen 1.8.7--> +<!-- start footer part --> +<!--BEGIN GENERATE_TREEVIEW--> +<div id="nav-path" class="navpath"><!-- id is needed for treeview function! --> + <ul> + $navpath + </ul> +</div> +<!--END GENERATE_TREEVIEW--> +<script type="text/javascript"> + /* * * CONFIGURATION VARIABLES * * */ + var disqus_shortname = 'rapidjson-doc'; + + /* * * DON'T EDIT BELOW THIS LINE * * */ + (function() { + var dt = document.createElement('div'); + dt.id = "disqus_thread"; + (document.getElementsByClassName('contents')[0]).appendChild(dt); + + var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true; + dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js'; + (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq); + })(); +</script> + +</body> +</html> |